|
"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)
|
|
"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)
|
|
"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)
|
|
"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)
|
|
"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: Elsevier, In Press.
Abstract
Download: jss11.pdf (472.29 KB)
|
|
"{JavaSPI}: a Framework for Security Protocol Implementation",
International Journal of Secure Software Engineering: IGI Global, In Press.
Abstract
Download: ijsse11.pdf (1.26 MB)
|
|
"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)
|
|
"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)
|
|
Sound Automatic Implementation Generation and Monitoring of Security Protocol Implementations from Verified Formal Specifications,
: Politecnico di Torino (Italy), 2010.
Download: Pironti_Dissertation.pdf (1.31 MB)
|
|
Black-Box Monitoring of Security Protocols, Revision 1,
: Politecnico di Torino (Italy), Microsoft Research Cambridge (UK) and Open University (UK), 2009.
Abstract
Download: monitoring1.pdf (340.82 KB)
|
|
Correctness-Preserving Translation from Spi Calculus to Java, Revision 3,
: Politecnico di Torino (Italy), 2009.
Abstract
Download: translation.pdf (300.66 KB)
|
|
Reasoning About Some Security Protocol Implementation Details, Revision 4,
: Politecnico di Torino (Italy), 2008.
Abstract
Download: encodings.pdf (388.28 KB)
|