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 SistoTeaching
Teachings
Bachelor of Science
- Algoritmi e programmazione avanzata. A.A. 2009/10, MATEMATICA PER LE SCIENZE DELL'INGEGNERIA. Collaboratore del corso
Publications
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; 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 (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)