Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu‐Hsuan Huang, Andreas Hülsing, Y.-H. Lee, Xiaodi Wu
Topics & Concepts
DilithiumMathematical proofComputer scienceComputer securityReduction (mathematics)Signature (topology)Simple (philosophy)Theoretical computer scienceProvable securityCryptographyMathematicsPhilosophyEpistemologyQuantum mechanicsDeprotonationPhysicsGeometryIonCryptography and Data SecurityCryptographic Implementations and SecurityGeometric and Algebraic Topology