• Accepted/In press

  Faster constant-time evaluation of the Kronecker symbol with application to elliptic curve hashing

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  Formalising Decentralised Exchanges in Coq

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research

• Published

  High-assurance field inversion for curve-based cryptography

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

View all (46) »