Evmorfia-Iro Bartzia

According to our database, Evmorfia-Iro Bartzia authored at least 3 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

A formalization of elliptic curves for cryptography. (Une formalisation des courbes elliptiques pour la cryptographie).

Evmorfia-Iro Bartzia

PhD thesis, 2017

2016

A Verified Extensible Library of Elliptic Curves.

Jean Karim Zinzindohoue, Evmorfia-Iro Bartzia, Karthikeyan Bhargavan

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2014

A Formal Library for Elliptic Curves in the Coq Proof Assistant.

Evmorfia-Iro Bartzia, Pierre-Yves Strub

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014