Difference between revisions of "MAT5123"
(MAT5123 is Crypto I.) |
Jose.iovino (talk | contribs) |
||
(13 intermediate revisions by one other user not shown) | |||
Line 1: | Line 1: | ||
+ | == Catalog entry == | ||
MAT 5123. Introduction to Cryptography. (3-0) 3 Credit Hours. | MAT 5123. Introduction to Cryptography. (3-0) 3 Credit Hours. | ||
Prerequisite: MAT 4213. Congruences and residue class rings, Fermat’s Little Theorem, the Euler phi-function, the Chinese Remainder Theorem, complexity, symmetric-key cryptosystems, cyclic groups, primitive roots, discrete logarithms, one-way functions, public-key cryptosystems, digital signatures, finite fields, and elliptic curves. Differential Tuition: $150. Course Fees: GS01 $90. | Prerequisite: MAT 4213. Congruences and residue class rings, Fermat’s Little Theorem, the Euler phi-function, the Chinese Remainder Theorem, complexity, symmetric-key cryptosystems, cyclic groups, primitive roots, discrete logarithms, one-way functions, public-key cryptosystems, digital signatures, finite fields, and elliptic curves. Differential Tuition: $150. Course Fees: GS01 $90. | ||
+ | |||
+ | == Textbook == | ||
+ | J. Hoffstein, J. Pipher, J. H. Silverman, ''An Introduction to Mathematical Cryptography'' (2nd Ed.) Springer Undergraduate Mathematics Series, Springer-Verlag (2014). ISBN: 978-1-4939-1711-2. | ||
+ | |||
+ | {| class="wikitable sortable" | ||
+ | ! Week !! Sections !! Topics !! Student Learning Outcomes | ||
+ | |- | ||
+ | |1 | ||
+ | || | ||
+ | 1.2, 1.3 | ||
+ | || | ||
+ | Substitution ciphers and basic theory of divisibility. | ||
+ | || | ||
+ | * Caesar’s and more general substitution ciphers. | ||
+ | * Greatest common divisor. The extended Euclidean algorithm. | ||
+ | |- <!-- START ROW --> | ||
+ | | <!-- Week# --> | ||
+ | 2 | ||
+ | || <!-- Sections --> | ||
+ | 1.4, 1.5. | ||
+ | || <!-- Topics --> | ||
+ | Modular arithmetic and finite fields. | ||
+ | || <!-- SLOs --> | ||
+ | * Primes and integer factorizations. | ||
+ | * The Fundamental Theorem of Arithmetic. | ||
+ | * Modular arithmetic and shift ciphers. | ||
+ | * Modular rings and finite fields 𝔽ₚ. | ||
+ | * Powers and primitive roots in finite fields. Fermat's Little Theorem. | ||
+ | * Fast exponentiation. | ||
+ | |- <!-- START ROW --> | ||
+ | | <!-- Week# --> | ||
+ | 3 | ||
+ | || <!-- Sections --> | ||
+ | 1.7, 2.1–2.3. | ||
+ | || <!-- Topics --> | ||
+ | Public and private-key cryptosystems. | ||
+ | |||
+ | Cyclic groups. | ||
+ | |||
+ | Discrete Logarithms. | ||
+ | |||
+ | Diffie-Hellman key exchange. | ||
+ | || <!-- SLOs --> | ||
+ | * Symmetric and asymmetric ciphers. | ||
+ | * Encoding schemes. | ||
+ | * Perfect secrecy. Vernon’s cipher. | ||
+ | * Examples of symmetric ciphers. | ||
+ | * Discrete Logarithms. | ||
+ | * The Diffie-Hellman key exchange. | ||
+ | |- <!-- START ROW --> | ||
+ | | <!-- Week# --> | ||
+ | 4 | ||
+ | || <!-- Sections --> | ||
+ | 2.4, 2.5. 2.6, 2.7. | ||
+ | || <!-- Topics --> | ||
+ | Elgamal public-key cryptosystem (EGPKC). | ||
+ | |||
+ | Cyclic groups. | ||
+ | |||
+ | Collision algorithms. | ||
+ | || <!-- SLOs --> | ||
+ | * Theory of finite cyclic groups. | ||
+ | * The Discrete Logarithm Problem (DLP). | ||
+ | * Shanks’ Babystep-Giantstep DLP algorithm. | ||
+ | |- <!-- START ROW --> | ||
+ | | <!-- Week# --> | ||
+ | 5 | ||
+ | || <!-- Sections --> | ||
+ | 2.8, 2.9, 2.10 | ||
+ | || <!-- Topics --> | ||
+ | Rudiments of ring theory. | ||
+ | |||
+ | The Chinese Remainder Theorem. | ||
+ | |||
+ | The Pohlig-Hellman Algorithm. | ||
+ | || <!-- SLOs --> | ||
+ | * Rings. Polynomial rings. Quotient rings. | ||
+ | * Systems of congruences. The Chinese Remainder Theorem. | ||
+ | * The Pohlig-Hellman Algorithm. | ||
+ | |- <!-- START ROW --> | ||
+ | | <!-- Week# --> | ||
+ | 6 | ||
+ | || <!-- Sections --> | ||
+ | None | ||
+ | || <!-- Topics --> | ||
+ | Review. First midterm exam. | ||
+ | || <!-- SLOs --> | ||
+ | |- <!-- START ROW --> | ||
+ | | <!-- Week# --> | ||
+ | 7 | ||
+ | || <!-- Sections --> | ||
+ | 3.1, 3.2, 3.3. | ||
+ | || <!-- Topics --> | ||
+ | Modular groups of units. | ||
+ | |||
+ | The RSA cryptosystem. | ||
+ | |||
+ | Practical considerations of security in implementation. | ||
+ | || <!-- SLOs --> | ||
+ | * Modular groups 𝑈ₙ. | ||
+ | * Euler's “totient” function 𝜑. Euler's Theorem. | ||
+ | * Powers and roots modulo 𝒑𝒒. | ||
+ | * The Rivest-Shamir-Adleman (RSA) cryptosystem. | ||
+ | * Implementation and security issues of cryptosystems: Kerchoff's Principle, Known- and Chosen-Plaintext attacks, Man-in-the-Middle attacks, obfuscation (Random-Oracle) attacks, parameter reuse. | ||
+ | |- <!-- START ROW --> | ||
+ | | <!-- Week# --> | ||
+ | 8 | ||
+ | || <!-- Sections --> | ||
+ | 3.4, 3.5. | ||
+ | || <!-- Topics --> | ||
+ | Primality testing and factorization attacks on RSA. | ||
+ | || <!-- SLOs --> | ||
+ | * Distribution of primes. The Prime Number Theorem. | ||
+ | * Fermat's Little Theorem and Carmichael numbers. | ||
+ | * The Miller-Rabin probabilistic primality test. | ||
+ | * Pollard's “𝒑−𝟣” factorization algorithm. | ||
+ | |- <!-- START ROW --> | ||
+ | | <!-- Week# --> | ||
+ | 9 | ||
+ | || <!-- Sections --> | ||
+ | 4.1, 4.2, 4.3 | ||
+ | || <!-- Topics --> | ||
+ | Digital Signatures. | ||
+ | || <!-- SLOs --> | ||
+ | * Definition and uses of digital signatures. | ||
+ | * RSA digital signatures. | ||
+ | * Elgamal digital signatures and DSA. | ||
+ | |- <!-- START ROW --> | ||
+ | | <!-- Week# --> | ||
+ | 10 | ||
+ | || <!-- Sections --> | ||
+ | 5.1, 5.3, 5.6, 5.7. | ||
+ | || <!-- Topics --> | ||
+ | Probability, entropy, information theory and complexity. | ||
+ | || <!-- SLOs --> | ||
+ | * Rudiments of combinatorics and probability. | ||
+ | * Bayes's Formula. | ||
+ | * Random variables and expected values. | ||
+ | * Entropy of a probability distribution. | ||
+ | * Perfect secrecy. | ||
+ | * Complexity theory and 𝒫 versus 𝒩𝒫. | ||
+ | |- <!-- START ROW --> | ||
+ | | <!-- Week# --> | ||
+ | 11 | ||
+ | || <!-- Sections --> | ||
+ | None | ||
+ | || <!-- Topics --> | ||
+ | Review. Second midterm exam. | ||
+ | |- <!-- START ROW --> | ||
+ | | <!-- Week# --> | ||
+ | 12 | ||
+ | || <!-- Sections --> | ||
+ | 6.1, 6.2., 6.3 | ||
+ | || <!-- Topics --> | ||
+ | Elliptic curves and discrete logarithms. | ||
+ | || <!-- SLOs --> | ||
+ | * Introduction to elliptic curves (ECs). | ||
+ | * Elliptic curves over finite fields. | ||
+ | * Fast multiples (“powers”) in ECs. The Double-and-Add algorithm. | ||
+ | * The Elliptic Curve Discrete Logarithm Problem (ECDLP). | ||
+ | |- <!-- START ROW --> | ||
+ | | <!-- Week# --> | ||
+ | 13 | ||
+ | || <!-- Sections --> | ||
+ | 6.4, 6.7 | ||
+ | || <!-- Topics --> | ||
+ | Elliptic-Curve Cryptography (ECC). | ||
+ | |||
+ | Elliptic curves in characteristic 2. | ||
+ | || <!-- SLOs --> | ||
+ | * EC Diffie-Hellman key exchange. | ||
+ | * EC Elgamal PKC. | ||
+ | * EC digital signature. | ||
+ | * Definition and construction of finite (Galois) fields 𝐺𝐹(2ⁿ). | ||
+ | * Elliptic curves over 𝐺𝐹(2ⁿ). | ||
+ | |- <!-- START ROW --> | ||
+ | | <!-- Week# --> | ||
+ | 14 | ||
+ | || <!-- Sections --> | ||
+ | 6.6 | ||
+ | |||
+ | Atkin-Morain's “ECs and Primality Proving” (Math. Comp. 61 (1993) 29–68. | ||
+ | [https://www.ams.org/journals/mcom/1993-61-203/S0025-5718-1993-1199989-X/]) | ||
+ | || <!-- Topics --> | ||
+ | EC-based primality testing and factorization techniques. | ||
+ | || <!-- SLOs --> | ||
+ | * Lenstra's EC factorization algorithm. | ||
+ | * EC primality certification. | ||
+ | |- <!-- START ROW --> | ||
+ | | <!-- Week# --> | ||
+ | 15 | ||
+ | || <!-- Sections --> | ||
+ | None. | ||
+ | || <!-- Topics --> | ||
+ | Student Presentations. Wrap-up and review. | ||
+ | || <!-- SLOs --> | ||
+ | |- | ||
+ | |} |
Latest revision as of 22:06, 25 March 2023
Catalog entry
MAT 5123. Introduction to Cryptography. (3-0) 3 Credit Hours.
Prerequisite: MAT 4213. Congruences and residue class rings, Fermat’s Little Theorem, the Euler phi-function, the Chinese Remainder Theorem, complexity, symmetric-key cryptosystems, cyclic groups, primitive roots, discrete logarithms, one-way functions, public-key cryptosystems, digital signatures, finite fields, and elliptic curves. Differential Tuition: $150. Course Fees: GS01 $90.
Textbook
J. Hoffstein, J. Pipher, J. H. Silverman, An Introduction to Mathematical Cryptography (2nd Ed.) Springer Undergraduate Mathematics Series, Springer-Verlag (2014). ISBN: 978-1-4939-1711-2.
Week | Sections | Topics | Student Learning Outcomes |
---|---|---|---|
1 |
1.2, 1.3 |
Substitution ciphers and basic theory of divisibility. |
|
2 |
1.4, 1.5. |
Modular arithmetic and finite fields. |
|
3 |
1.7, 2.1–2.3. |
Public and private-key cryptosystems. Cyclic groups. Discrete Logarithms. Diffie-Hellman key exchange. |
|
4 |
2.4, 2.5. 2.6, 2.7. |
Elgamal public-key cryptosystem (EGPKC). Cyclic groups. Collision algorithms. |
|
5 |
2.8, 2.9, 2.10 |
Rudiments of ring theory. The Chinese Remainder Theorem. The Pohlig-Hellman Algorithm. |
|
6 |
None |
Review. First midterm exam. |
|
7 |
3.1, 3.2, 3.3. |
Modular groups of units. The RSA cryptosystem. Practical considerations of security in implementation. |
|
8 |
3.4, 3.5. |
Primality testing and factorization attacks on RSA. |
|
9 |
4.1, 4.2, 4.3 |
Digital Signatures. |
|
10 |
5.1, 5.3, 5.6, 5.7. |
Probability, entropy, information theory and complexity. |
|
11 |
None |
Review. Second midterm exam. | |
12 |
6.1, 6.2., 6.3 |
Elliptic curves and discrete logarithms. |
|
13 |
6.4, 6.7 |
Elliptic-Curve Cryptography (ECC). Elliptic curves in characteristic 2. |
|
14 |
6.6 Atkin-Morain's “ECs and Primality Proving” (Math. Comp. 61 (1993) 29–68. [1]) |
EC-based primality testing and factorization techniques. |
|
15 |
None. |
Student Presentations. Wrap-up and review. |