85 search results - page 1 / 17 » Modular Verification of Security Protocol Code by Typing |
POPL
2010
ACM
15 years 2 months ago
2010
ACM
APLAS
2010
ACM
14 years 5 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
CSFW
2009
IEEE
14 years 8 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
COMPSEC
2010
14 years 1 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
ACSC
2007
IEEE
14 years 9 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...