Evmorfia-Iro Bartzia
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
- [b1]Evmorfia-Iro Bartzia:
A formalization of elliptic curves for cryptography. (Une formalisation des courbes elliptiques pour la cryptographie). University of Paris-Saclay, France 2017 - 2016
- [c2]Jean Karim Zinzindohoue, Evmorfia-Iro Bartzia, Karthikeyan Bhargavan:
A Verified Extensible Library of Elliptic Curves. CSF 2016: 296-309 - 2014
- [c1]Evmorfia-Iro Bartzia, Pierre-Yves Strub:
A Formal Library for Elliptic Curves in the Coq Proof Assistant. ITP 2014: 77-92
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-26 16:07 CEST by the dblp team