Alfredo Pironti

Politecnico Di Torino

other persons with the same name:

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

	2012
12		Alfredo Pironti, Davide Pozza, Riccardo Sisto: Formally based semi-automatic implementation of an open security protocol. Journal of Systems and Software 85(4): 835-849 (2012)
	2011
11		Matteo Avalle, Alfredo Pironti, Riccardo Sisto, Davide Pozza: The Java SPI Framework for Security Protocol Implementation. ARES 2011: 746-751
10		Francesco Amato, Giuseppe Carannante, Gianmaria De Tommasi, Alfredo Pironti: Input-output finite-time stabilization of LTV systems via dynamic output feedback. CDC-ECE 2011: 1928-1932
9		Francesco Amato, Giuseppe Carannante, Gianmaria De Tommasi, Alfredo Pironti: Necessary and sufficient conditions for Input-Output Finite-Time stability of linear time-varying systems. CDC-ECE 2011: 1933-1937
8		Manuel Cheminod, Alfredo Pironti, Riccardo Sisto: Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access. IEEE Trans. Industrial Informatics 7(1): 30-40 (2011)
7		Matteo Avalle, Alfredo Pironti, Davide Pozza, Riccardo Sisto: JavaSPI: A Framework for Security Protocol Implementation. IJSSE 2(4): 34-48 (2011)
	2010
6		Alfredo Pironti, Jan Jürjens: Formally-Based Black-Box Monitoring of Security Protocols. ESSoS 2010: 79-95
5		Alfredo Pironti, Riccardo Sisto: Provably correct Java implementations of Spi Calculus security protocols specifications. Computers & Security 29(3): 302-314 (2010)
	2008
4		Alfredo Pironti, Riccardo Sisto: Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models. ARES 2008: 72-79
3		Alfredo Pironti, Riccardo Sisto: Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models. DepCoS-RELCOMEX 2008: 31-38
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	Francesco Amato	[9] [10]
2	Matteo Avalle	[7] [11]
3	Giuseppe Carannante	[9] [10]
4	Manuel Cheminod	[8]
5	Jan Jürjens	[6]
6	Davide Pozza	[7] [11] [12]
7	Riccardo Sisto	[1] [2] [3] [4] [5] [7] [8] [11] [12]
8	Gianmaria De Tommasi	[9] [10]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page