DMCA

Modular verification of security protocol code by typing (2010)

by Karthikeyan Bhargavan , Cédric Fournet , Andrew D. Gordon
Venue:in: Proceedings of the 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL
Citations:48 - 15 self