Jose Divasón
- A Formalization of the LLL Basis Reduction Algorithm
2018/01/01 by Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann +1 · 1 citation
Computer Science · Mathematics · #Cryptography and Data Security #Logic, programming, and type systems #Cryptography and Residue Arithmetic #Lattice reduction #Lattice (music) #Algorithm #Computer science #Basis (linear algebra) #Lattice problem #Soundness #HOL #Mathematics #Discrete mathematics #Cryptography