Modular Verification of Protocol Equivalence in the Presence of Randomness.

Matthew S. Bauer Rohit Chadha Mahesh Viswanathan

Published in: ESORICS (1) (2017)

Keyphrases

cryptographic protocols
protocol specification
formal analysis
model checker
model checking
lightweight
file transfer
formal proof
colored petri nets
formal verification
security protocols
face verification
formal specification
database systems
neural network
formal methods
functional verification
petri net