C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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