2 search results for "author:"Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>""
Showing 1 - 2
-
Primitives for Elliptic Curve Cryptography taken from Fiat0.2.3MITUsed by 2 other packages03 Nov 2020
-
Elliptic Curve Cryptography with primitives taken from Fiat1.0.0MITUsed by 1 other packages29 Jun 2024