Dottorato in Ingegneria Informatica E Dei Sistemi , 22o ciclo (2007-2009)
Dottorato concluso nel 2010
Tesi:
Sound Automatic Implementation Generation and Monitoring of Security Protocol Implementations from Verified Formal Specifications
Tutori:
Riccardo SistoDidattica
Insegnamenti
Corso di laurea di 1° livello
- Algoritmi e programmazione avanzata. A.A. 2009/10, MATEMATICA PER LE SCIENZE DELL'INGEGNERIA. Collaboratore del corso
Pubblicazioni
Pubblicazioni durante il dottorato Vedi tutte le pubblicazioni su 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)