Sapic+: protocol verifiers of the world, unite!

Vincent Cheval Charlie Jacomme Steve Kremer Robert Künnemann

Published in: IACR Cryptol. ePrint Arch. (2022)

Keyphrases

lightweight
real time
communication protocol
formal analysis
authentication protocol
cryptographic protocols
artificial intelligence
cooperative
mobile devices
world model
tcp ip
coloured petri nets