Formal Verification of Saber’s Public-Key Encryption Scheme in EasyCrypt
- 12 October 2022
- book chapter
- Published by Springer Nature
- p. 622-653
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Cybersecurity in an Era with Quantum Computers: Will We Be Ready?IEEE Security & Privacy, 2018
- Saber: Module-LWR Based Key Exchange, CPA-Secure Encryption and CCA-Secure KEM2018
- A Modular Analysis of the Fujisaki-Okamoto Transformation2017
- A Comprehensive Symbolic Analysis of TLS 1.32017
- Why does cryptographic software fail?2014
- Quantum Attacks on Public-Key Cryptosystems2013
- Pseudorandom Functions and Lattices2012
- Computer-Aided Cryptographic ProofsLecture Notes in Computer Science, 2012
- Random Oracles in a Quantum World2011
- The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs2006