Cryptographic Protocol Verification via Supercompilation (A Case Study).

Abdulbasit Ahmed Alexei Lisitsa Andrei P. Nemytykh

Published in: VPT@CAV (2013)

Keyphrases

cryptographic protocols
security properties
standard model
authentication protocol
case study
security protocols
insider attacks
formal verification
high dimensional
similarity search
cost effective
test bed