Tracking Security Flaws in Cryptographic Protocols Using Witness-Functions.

Jaouhar Fattahi Mohamed Mejri Emil Pricop

Published in: SMC (2015)

Keyphrases

cryptographic protocols
security flaws
real time
authentication scheme
particle filter
security properties
security protocols
standard model
web services
low cost
anomaly detection
similarity search
locally decodable codes