Alfredo Pironti

Politecnico Di Torino

other persons with the same name:

• Alfredo Pironti - Università degli Studi di Napoli Federico II, Italy

2008
3	EE	Alfredo Pironti, Riccardo Sisto: Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models. ARES 2008: 72-79
2	EE	Alfredo Pironti, Riccardo Sisto: Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code. HASE 2008: 241-250
2007
1	EE	Alfredo Pironti, Riccardo Sisto: An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. ISCC 2007: 839-844

Coauthor Index

1

Riccardo Sisto

[1] [2] [3]