Login / Signup
Djed: A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin.
Joachim Zahnentferner
Dmytro Kaidalov
Jean-Frédéric Etienne
Javier Díaz
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
medical images
databases
computer vision
multimedia
multi agent
search algorithm
evolutionary algorithm
security protocols