Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol.
Joachim ZahnentfernerDmytro KaidalovJean-Frédéric ÉtienneJavier DíazPublished in: ICBC (2023)
Keyphrases
- security protocols
- rfid systems
- lightweight
- network protocols
- cooperative
- cryptographic protocols
- security analysis
- authentication protocol
- communication protocol
- coloured petri nets
- protocol specification
- cryptographic algorithms
- autonomous learning
- tcp ip
- application layer
- autonomous systems
- formal analysis
- robotic systems