Sciweavers

70
Voted
CSFW
2006
IEEE

Verified Interoperable Implementations of Security Protocols

15 years 13 days ago
Verified Interoperable Implementations of Security Protocols
Karthikeyan Bhargavan, Cédric Fournet, Andr
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where CSFW
Authors Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
Comments (0)