LEC # | TOPICS | REFERENCES |
---|---|---|
1 | Introduction to Elliptic Curves | No readings. |
2 | The Group Law, Weierstrass and Edwards Equations | [Washington] Sections 2.1–3, and 2.6.3. Bernstein, Daniel, and Lange, Tanja. |
3 | Integer Arithmetic |
![]() |
4 | Finite Field Arithmetic |
![]()
Rabin, Michael O. "Probabilistic Algorithms in Finite Fields." SIAM Journal on Computing 9, no. 2 (1980): 273–80. |
5 | Isogenies and Endomorphisms |
[Washington] Section 2.9. [Silverman] Section III.4. |
6 | Division Polynomials and Torsion Subgroups | [Washington] Section 3.2. |
7 | Endomorphism Rings and Hasse's Theorem | [Washington] Section 4.2. [Silverman] Section III.6. |
8 | Point Counting | [Washington] Section 4.3. |
9 | Schoof's Algorithm | [Washington] Sections 4.2, and 4.5. Schoof, Rene. |
10 | Discrete Logarithms: Generic Algorithms | [Washington] Section 5.2. Pohlig, S., and M. Hellman. "An Improved Algorithm for Computing Logarithms Over GF(p) and Its Cryptographic Significance (Corresp.)." IEEE Transactions on Information Theory 24, no. 1 (1978): 106–10. Pollard, J. M. "Monte Carlo Methods for Index Computation (mod p)." Mathematics of Computation 32, no. 143 (1978). |
11 | Discrete Logarithms: Lower Bounds, Index Calculus | Shoup, V. ![]() [Washington] Section 5.1.
|
12 | Elliptic Curve Factorization Method (ECM) | [Washington] Section 7.1. Lenstra, H. W. Montgomery, Peter L. "Speeding the Pollard and Elliptic Curve Methods of Factorization." Mathematics of Computation 48, no. 177 (1987): 243-64. Bernstein, Daniel J., Peter Birkner, et al. "ECM Using Edwards Curves." Mathematics of Computation 82, no. 282 (2013): 1139–79. |
13 | Elliptic Curve Primality Proving (ECPP) | [Washington] Section 7.2. Goldwasser, S., and J. Killan. "Almost all Primes can be Quickly Certified." STOC'86 Proceedings of the 18th Annual ACM Symposium on Theory of Computing (1986): 316–29. Pomerance, Carl. "Very Short Primality Proofs." Mathematics of Computation 48, no. 177 (1987): 315. |
14 | Endomorphism Algebras | [Silverman] Section III.9. |
15 | Ordinary and Supersingular Curves, The j-invariant | [Silverman] Sections III.1, and V.3. [Washington] Sections 2.7, and 4.6. |
16 | Elliptic Functions, Eisenstein Series, Weierstrass p-function | [Cox] Chapter 10. [Silverman] Sections VI.2–3. [Washington] Sections 9.1–2. |
17 | Complex Tori, Elliptic Curves over C, Lattice j-invariants | [Cox] Chapters 10, and 11. [Silverman] Sections VI.4–5. [Washington] Sections 9.2–3. |
18 | Uniformization Theorem, Complex Multiplication | [Cox] Chapter 11. [Silverman] Section VI.5. [Washington] Section 9.3. |
19 | Orders, Ideals, Class Groups, Isogenies over C | [Cox] Chapter 7. [Silverman (Advanced Topics)] Section II.1.1. |
20 | Riemann Surfaces and the Modular Curve X(1) | [Silverman (Advanced Topics)] Section I.2. [Milne] Section V.1. |
21 | Modular Functions and the Modular Equation | [Cox] Chapter 11. [Milne] Section V.2. |
22 | The Main Theorem of Complex Multiplication | [Cox] Chapters 8, and 11. |
23 | CM Method and Isogeny Volcanoes | Sutherland, Andrew V. ![]() |
24 | Modular Forms and L-functions | [Milne] Sections V.3–4. |
25 | Fermat's Last Theorem | [Milne] Sections V.7–9. [Washington] Chapter 15.
|