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