Interactive Proofs in Higher-Order Logic with Errors and Application to Concrete Cryptography

Caroline Fontaine, Adrien Koutsos, Guillaume Scerri, Théo Vignon
June 2026
PDF
Type
Conference paper
Publication
IEEE Computer Security Foundations Symposium, CSF 2026, Lisbon, Portugal, July, 2026