An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics - Evmorfia-Iro Bartzia; Michael Lodi; Marco Sbaraglia; Simon Modeste; Viviane Durand-Guerrier; Simone Martini (Informatics Educ., 2024)

A formalization of elliptic curves for cryptography. (Une formalisation des courbes elliptiques pour la cryptographie) - Evmorfia-Iro Bartzia (University of Paris-Saclay, France, 2017)

A Verified Extensible Library of Elliptic Curves - Jean Karim Zinzindohoue; Evmorfia-Iro Bartzia; Karthikeyan Bhargavan (IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016, 2016)

A Formal Library for Elliptic Curves in the Coq Proof Assistant - Evmorfia-Iro Bartzia; Pierre-Yves Strub (Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, 2014)