Alfredo Pironti

Politecnico Di Torino

other persons with the same name:

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

	2008
3		Alfredo Pironti, Riccardo Sisto: Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models. ARES 2008: 72-79
2		Alfredo Pironti, Riccardo Sisto: Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code. HASE 2008: 241-250
	2007
1		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]