Sign in
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
Yi Lee
Xiaodi Wu
Published in:
CRYPTO (5) (2022)
Keyphrases
</>
information security
security requirements
intrusion detection
security issues
security systems
access control
theorem proving
security policies
key management
nested transactions
network security
transaction processing
security mechanisms
secret sharing scheme
security problems
linear logic