1 search result for "author:"Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>""

  1. 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.2
    MIT
    Used by 10 other packages
    19 Sep 2023