Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium.
Manuel BarbosaGilles BartheChristian DoczkalJelle DonSerge FehrBenjamin GrégoireYu-Hsuan HuangAndreas HülsingYi LeeXiaodi WuPublished in: IACR Cryptol. ePrint Arch. (2023)
Keyphrases
- information security
- network security
- access control
- security requirements
- security issues
- security problems
- nested transactions
- security policies
- intrusion detection
- secret key
- functional requirements
- security level
- theorem prover
- security measures
- statistical databases
- transaction processing
- theorem proving
- computer security
- security systems
- biometric systems
- databases
- secret sharing scheme