2 search results for "author:"Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>""

Showing 1 - 2
  1. fiat-p256
    Documentation
    Primitives for Elliptic Curve Cryptography taken from Fiat
    org:mirage
    Etienne Millon <me@emillon.org> Andres Erbsen <andreser@mit.edu> Google Inc. Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> Massachusetts Institute of Technology
    0.2.3
    MIT
    Used by 2 other packages
    03 Nov 2020
  2. mirage-crypto-ec
    Documentation
    Elliptic Curve Cryptography with primitives taken from Fiat
    org:mirage
    Hannes Mehnert <hannes@mehnert.org> Nathan Rebours <nathan.p.rebours@gmail.com> Clément Pascutto <clement@tarides.com> Etienne Millon <me@emillon.org> Virgile Robles <virgile.robles@protonmail.ch> et al.
    1.0.0
    MIT
    Used by 1 other packages
    29 Jun 2024