Riccardo Sisto

Internal Technical Reports

• Matteo Avalle, Alfredo Pironti, and Riccardo Sisto, "The JavaSPI Framework for Security Protocol Implementation" Politecnico di Torino, June 2011
• Alfredo Pironti, and Riccardo Sisto, "Correctness-Preserving Translation from Spi Calculus to Java, revision 3" Politecnico di Torino, June 2009 .
• Alfredo Pironti, and Riccardo Sisto, "Correctness-Preserving Translation from Spi Calculus to Java, revision 2" Politecnico di Torino, August 2008 .
• Alfredo Pironti, and Riccardo Sisto, "Correctness-Preserving Translation from Spi Calculus to Java" Politecnico di Torino, April 2008 .
• Alfredo Pironti, and Riccardo Sisto, "Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models" (preliminary version of paper presented at ARES 2008, March 4th-7th, 2008).
• Alfredo Pironti, and Riccardo Sisto, "Reasoning about some security protocol implementation details, revision 4", Politecnico di Torino, January 2008.
• Alfredo Pironti, and Riccardo Sisto, "Reasoning about some security protocol implementation details", Politecnico di Torino, January 2007.
• Alfredo Pironti, and Riccardo Sisto, "An experiment in interoperable cryprographic protocol implementation using automatic code generation", Politecnico di Torino, January 2007. (this is a preliminary version of the paper that appeared in the proceedings of IEEE ISCC'07)