A Fast Verified Liveness Analysis in SSA Form

von Léchenet, Jean-Christophe
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

Formally Verifying Kyber

von Almeida, José Bacelar
Veröffentlicht in Annual International Cryptology Conference (44. : 2024 : Santa Barbara, Calif.) Advances in cryptology - CRYPTO 2024 ; Part 2 (2024)