SubjectsSubjects(version: 945)
Course, academic year 2023/2024
   Login via CAS
Algorithms on Lattices - NMMB411
Title: Algoritmy na mřížích
Guaranteed by: Department of Algebra (32-KA)
Faculty: Faculty of Mathematics and Physics
Actual: from 2023
Semester: winter
E-Credits: 4
Hours per week, examination: winter s.:2/1, C+Ex [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: taught
Language: Czech
Teaching methods: full-time
Teaching methods: full-time
Additional information: https://www2.karlin.mff.cuni.cz/~prihoda/mrize/
Guarantor: doc. Mgr. Pavel Růžička, Ph.D.
Class: M Mgr. MMIB
M Mgr. MMIB > Povinné
Classification: Mathematics > Algebra
Annotation -
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (11.12.2018)
LLL algoritm and its application: Short vector problem is NP-hard, cryptosystem NTRU., constructions of hash functions, Coppersmith's attack on RSA, knapsack-based cryptosystems.
Course completion requirements -
Last update: doc. Mgr. Pavel Příhoda, Ph.D. (11.10.2022)

Oral exam and a homework posed at problem sessions. The essential

part of the homework is of implementational character.

Literature -
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (15.05.2020)

D. Stanovský, L. Barto: Počítačová algebra, Matfyzpress, Praha 2011.

C. Peikert: A Decade of Lattice Cryptography, internet, 2016. https://web.eecs.umich.edu/~cpeikert/pubs/lattice-survey.pdf

D. Coppersmith. Small solutions to polynomial equations, and low exponent RSA vulnerabilities. Journal of Cryptology, vol. 10, pp. 233-260, 1997.

M. Ajtai. Generating hard instances of lattice problems. Quaderni di Matematica, 13:1-32, 2004.

M. Ajtai. The shortest vector problem in L_2 is NP-hard for randomized reductions (extended abstract). In STOC, pages 10-19. 1998

Requirements to the exam -
Last update: doc. Mgr. Pavel Příhoda, Ph.D. (30.10.2020)

Oral exams consists of two questions. It is possible to do it either in present or distant form.

Syllabus -
Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (15.05.2020)

LLL algoritm and its applications - factorization of polynomials over Z, Coppersmith's attack on RSA with small public exponent, cryptanalysis of some knapsack-based cryptosystems.

Hash functions, Ajtai's worst case to average case reduction and its application to security proving. Short vector problem is NP-hard.

Cryptosystem NTRU.

Dicrete Gaussians and LWE, fully homomorphic encryption (optional)

 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html