A Verified Extensible Library of Elliptic Curves (bibtex)
by Jean Karim Zinzindohoue, Evmorfia-Iro Bartzia, Karthikeyan Bhargavan
Reference:
A Verified Extensible Library of Elliptic Curves (Jean Karim Zinzindohoue, Evmorfia-Iro Bartzia, Karthikeyan Bhargavan), In IEEE Computer Security Foundations Symposium (CSF), 2016.
Bibtex Entry:
@InProceedings{ZBB16,
  author = 	 {Jean Karim Zinzindohoue and Evmorfia-Iro Bartzia and Karthikeyan Bhargavan},
  title = 	 {A Verified Extensible Library of Elliptic Curves},
  booktitle = {IEEE Computer Security Foundations Symposium (CSF)},
  OPTpages = 	 {},
  year = 	 {2016},
}
Powered by bibtexbrowser