ask others

Evmorfia-Iro Bartzia

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2016
[c2]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/csfw/ZinzindohoueBB16
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/csfw/ZinzindohoueBB16
Jean Karim Zinzindohoue, Evmorfia-Iro Bartzia, Karthikeyan Bhargavan:
A Verified Extensible Library of Elliptic Curves. CSF 2016: 296-309
2014
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/itp/BartziaS14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/itp/BartziaS14
Evmorfia-Iro Bartzia, Pierre-Yves Strub:
A Formal Library for Elliptic Curves in the Coq Proof Assistant. ITP 2014: 77-92

Coauthor Index

see FAQ

maintained by

at