Found 2 Documents (Results 1–2)
Verifying classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation. (English) Zbl 1519.94064
Deneuville, Jean-Christophe (ed.), Code-based cryptography. 10th international workshop, CBCrypto 2022, Trondheim, Norway, May 29–30, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13839, 21-36 (2023).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
all
top 5
Author
- Bengio, Yoshua (1)
- Brain, Martin (1)
- Cid, Carlos Frederico (1)
- Malkin, Nikolay (1)
- Player, Rachel (1)
- Robson, Wrenna (1)