Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox

• Published in: 2022 IEEE 35th Computer Security Foundations Symposium (CSF) pp. 227 - 242
• Main Authors: Dupressoir, Francois, Kohbrok, Konrad, Oechsner, Sabine
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.08.2022
• Subjects: authenticated encryption; Cognition; computer aided cryptography; Computer security; Encryption; Modular construction; non-interactive key exchange; Protocols; Public key

Machine-checked cryptography aims to reinforce confidence in the primitives and protocols that underpin all digital security. However, machine-checked proof techniques remain in practice difficult to apply to real-world constructions. A particular challenge is structured reasoning about complex cons...