How Hard can it be to Formalize a Proof? Lessons from Formalizing CryptoBox Three Times in EasyCrypt

François Dupressoir, Andreas Hülsing, Cameron Low, Matthias Meijers, Charlotte Mylog, Sabine Oechsner

Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review

Original language	English
Title of host publication	Lecture Notes in Computer Science
Pages	137-167
DOIs	https://doi.org/10.1007/978-981-95-5096-8_5
Publication status	Published - 8 Dec 2025

Access to Document

@inbook{eab9c898484f47528c33a31d25846e45,

title = "How Hard can it be to Formalize a Proof? Lessons from Formalizing CryptoBox Three Times in EasyCrypt",

author = "Fran{\c c}ois Dupressoir and Andreas H{\"u}lsing and Cameron Low and Matthias Meijers and Charlotte Mylog and Sabine Oechsner",

year = "2025",

month = dec,

day = "8",

doi = "10.1007/978-981-95-5096-8\_5",

language = "English",

isbn = "9789819550951",

pages = "137--167",

booktitle = "Lecture Notes in Computer Science",

}

TY - CHAP

T1 - How Hard can it be to Formalize a Proof? Lessons from Formalizing CryptoBox Three Times in EasyCrypt

AU - Dupressoir, François

AU - Hülsing, Andreas

AU - Low, Cameron

AU - Meijers, Matthias

AU - Mylog, Charlotte

AU - Oechsner, Sabine

PY - 2025/12/8

Y1 - 2025/12/8

UR - http://dx.doi.org/10.1007/978-981-95-5096-8_5

U2 - 10.1007/978-981-95-5096-8_5

DO - 10.1007/978-981-95-5096-8_5

M3 - Chapter

SN - 9789819550951

SN - 9789819550968

SP - 137

EP - 167

BT - Lecture Notes in Computer Science

ER -