2 search results for "author:"Massachusetts Institute of Technology""

  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> Andres Erbsen <andreser@mit.edu> et al.
    0.11.1
    MIT
    Used by 10 other packages
    14 Mar 2023