A Formal Library for Elliptic Curves in the Coq Proof Assistant. - Evmorfia-Iro Bartzia; Pierre-Yves Strub (ITP, 2014)

A Verified Extensible Library of Elliptic Curves. - Jean Karim Zinzindohoue; Evmorfia-Iro Bartzia; Karthikeyan Bhargavan (CSF, 2016)

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

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