|
"Automated Formal Methods for Security Protocol Engineering",
Cyber Security Standards, Practices and Industrial Applications: Systems and Methodologies: IGI Global, pp. 138–166, 2011.
Abstract
Download: cssigi11.pdf (369.13 KB)
|
|
"Implementing TLS with Verified Cryptographic Security",
IEEE Symposium on Security & Privacy (Oakland), In Press.
Abstract
Download: oakland13.pdf (417.74 KB)
|
|
"Visual Model-Driven Design, Verification and Implementation of Security Protocols",
IEEE International Symposium on High Assurance Systems Engineering (HASE 12): IEEE Computer Security, pp. 62–65, 2012.
Abstract
Download: hase12.pdf (3.19 MB)
|
|
"The {JavaSPI} Framework for Security Protocol Implementation",
Availability, Reliability and Security (ARES 11): IEEE Computer Society, pp. 746–751, 2011.
Abstract
Download: secse11.pdf (544.1 KB)
|
|
"Formally-Based Black-Box Monitoring of Security Protocols",
International Symposium on Engineering Secure Software and Systems (ESSoS 10): IEEE Computer Society, pp. 79–95, 2010.
Abstract
Download: essos10.pdf (305.82 KB)
|
|
"Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models",
Availability, Reliability and Security (ARES 08): IEEE Computer Society, pp. 72–79, 2008.
Abstract
Download: ares08.pdf (219.21 KB)
|
|
"Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models",
International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 08): IEEE Computer Society, pp. 31–38, 2008.
Abstract
Download: depcos08.pdf (171.83 KB)
|
|
"Formally Sound Refinement of {S}pi {C}alculus Protocol Specifications into {J}ava Code",
IEEE High Assurance Systems Engineering Symposium (HASE 08): IEEE Computer Society, pp. 241–250, 2008.
Abstract
Download: hase08.pdf (230.16 KB)
|
|
"An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation",
IEEE Symposium on Computers and Communications (ISCC 07): IEEE Computer Society, pp. 839–844, 2007.
Abstract
Download: iscc07.pdf (127.59 KB)
|
|
"Formally-Based Semi-Automatic Implementation of an Open Security Protocol",
Journal of Systems and Software, vol. 85, issue 4: Elsevier, pp. 835–849, 2012.
Abstract
Download: jss11.pdf (472.29 KB)
|
|
"Formal verification of security protocol implementations: a survey",
Formal Aspects of Computing, pp. 1-25, 2012.
Abstract
Download: cf11.pdf (409.27 KB)
|
|
"Safe Abstractions of Data Encodings in Formal Security Protocol Models",
Formal Aspects of Computing, pp. 1-43, 2012.
Abstract
Download: faoc12.pdf (648.58 KB)
|
|
"Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access",
IEEE Transactions on Industrial Informatics, vol. 7, issue 1, pp. 30–40, 2011.
Abstract
Download: tii10.pdf (1.98 MB)
|
|
"{JavaSPI}: A Framework for Security Protocol Implementation",
International Journal of Secure Software Engineering, vol. 2, issue 4: IGI Global, pp. 34–48, 2011.
Abstract
Download: ijsse11.pdf (1.26 MB)
|
|
"Provably Correct {J}ava Implementations of {S}pi {C}alculus Security Protocols Specifications",
Computers & Security, vol. 29, issue 3: Elsevier, pp. 302–314, 2010.
Abstract
Download: cose10.pdf (194.69 KB)
|
|
Truncating TLS Connections to Violate Beliefs in Web Applications,
, Black Hat USA, 2013.
Abstract
|