SAPIC+: protocol verifiers of the world, unite!

Vincent Cheval Charlie Jacomme Steve Kremer Robert Künnemann

Published in: USENIX Security Symposium (2022)

Keyphrases

lightweight
case study
formal analysis
security protocols
communication protocol
application layer
tcp ip
coloured petri nets
data sets
security analysis
authentication protocol
world model