A Verified Extensible Library of Elliptic Curves

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Jean Karim Zinzindohoue, Evmorfia-Iro Bartzia, Karthikeyan Bhargavan

Journal title: 2016 IEEE 29th Computer Security Foundations Symposium (CSF)

Journal publisher: IEEE

Published year: 2016

Published pages: 296-309

DOI identifier: 10.1109/CSF.2016.28

ISBN: 978-1-5090-2607-4