Ivan Cibrario Bertolotti

	2009
15		Marco Cereia, Ivan Cibrario Bertolotti: Virtual machines for distributed real-time systems. Computer Standards & Interfaces 31(1): 30-39 (2009)
14		Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Tools for cryptographic protocols analysis: A technical and experimental comparison. Computer Standards & Interfaces 31(5): 954-961 (2009)
	2008
13		Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Efficient representation of the attacker's knowledge in cryptographic protocols analysis. Formal Asp. Comput. 20(3): 303-348 (2008)
	2007
12		Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. DepCoS-RELCOMEX 2007: 11-18
11		Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. DepCoS-RELCOMEX 2007: 153-160
10		Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano: Improving the security of industrial networks by means of formal verification. Computer Standards & Interfaces 29(3): 387-397 (2007)
9		Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano: A socket interface for CAN devices. Computer Standards & Interfaces 29(6): 662-673 (2007)
8		Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino: Evaluation of Response Times in Industrial WLANs. IEEE Trans. Industrial Informatics 3(3): 191-201 (2007)
	2006
7		Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus. Int. J. Found. Comput. Sci. 17(4): 815-832 (2006)
	2005
6		Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. DIMVA 2005: 69-84
5		Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano: Modelling CANopen communications according to the socket paradigm. ETFA 2005
4		Ivan Cibrario Bertolotti: Internal Architecture and Features of Real-Time Embedded Operation Systems. The Industrial Information Technology Handbook 2005: 1-23
	2004
3		Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA 2004: 135-149
	2003
2		Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. FORTE 2003: 224-239
1		Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. TACAS 2003: 284-298

Coauthor Index

1	Gianluca Cena	[5] [8] [9]
2	Marco Cereia	[15]
3	Manuel Cheminod	[11] [12] [14]
4	Luca Durante	[1] [2] [3] [6] [7] [10] [11] [12] [13] [14]
5	Paolo Maggi	[10]
6	Riccardo Sisto	[1] [2] [3] [6] [7] [10] [11] [12] [13] [14]
7	Adriano Valenzano	[1] [2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
8	Claudio Zunino	[8]

Colors in the list of coauthors