Jean-Frédéric Etienne

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Evolutionary Algorithm

Security Protocols

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Joachim Zahnentferner, Dmytro Kaidalov, Jean-Frédéric Etienne, Javier Díaz
Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin. IACR Cryptol. ePrint Arch. 2021 (2021)