DMCA

Verified Interoperable Implementations of Security Protocols (2006)

by Karthikeyan Bhargavan , Cédric Fournet , Andrew D. Gordon , Stephen Tse
Venue:IN 19TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP (CSFW’06
Citations:80 - 28 self