Login / Signup
Platypus: Offchain Protocol Without Synchrony.
Alejandro Ranchal-Pedrosa
Vincent Gramoli
Published in:
NCA (2019)
Keyphrases
</>
lightweight
formal analysis
security protocols
cryptographic protocols
coloured petri nets
artificial intelligence
social networks
case study
multi agent
tcp ip