DMCA

Automated verification of equivalence properties of cryptographic protocols (2012)

by Rohit Chadha , Steve Kremer, et al.
Citations:18 - 3 self