Ph.D. in Ingegneria Informatica E Dei Sistemi , 22nd cycle (2007-2009)
Ph.D. obtained in 2010
Dissertation:
Sound Automatic Implementation Generation and Monitoring of Security Protocol Implementations from Verified Formal Specifications
Tutors:
Riccardo SistoPublications
Works published during the Ph.D. View all publications in Porto@Iris
- Pironti, Alfredo; Sisto, Riccardo (2010)
Provably correct Java implementations of Spi Calculus security protocols specifications. In: COMPUTERS & SECURITY, vol. 29(3), pp. 302-314. ISSN 0167-4048
Contributo su Rivista - Pironti, Alfredo; Jürjens, J. (2010)
Formally-Based Black-Box Monitoring of Security Protocols. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 5965/2010, pp. 79-95. ISSN 0302-9743
Contributo su Rivista - Pironti, Alfredo; Sisto, Riccardo (2008)
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code. In: High Assurance Systems Engineering Symposium (HASE 2008), Nanjing, China, 3-5 December 2008, pp. 241-250. ISBN: 9780769534824
Contributo in Atti di Convegno (Proceeding) - Pironti, Alfredo; Sisto, Riccardo (2008)
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models. In: International Conference on Availability, Reliability and Security (ARES 08), Barcelona, Spain, 4-7 March 2008, pp. 72-79. ISBN: 9780769531021
Contributo in Atti di Convegno (Proceeding) - Pironti, Alfredo; Sisto, Riccardo (2008)
Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models. In: International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2008), Szklarska Poręba (Poland ), 26–28 June 2008, pp. 31-38. ISBN: 9780769531793
Contributo in Atti di Convegno (Proceeding) - Pironti, Alfredo; Sisto, Riccardo (2007)
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. In: IEEE Symposium on Computers and Communications (ISCC 07), Aveiro, Portugal, 1-4 July 2007, pp. 839-844. ISBN: 9781424415205
Contributo in Atti di Convegno (Proceeding)