Riccardo Sisto - Selected Most Recent Publications

Riccardo Sisto - Selected Most Recent Publications

2008

Alfredo Pironti, Riccardo Sisto,
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models,
in ARES 2008 - 3rd Int. Conf. on Availability, Reliability and Security, Barcelona, Spain, March 2008, IEEE, pp. 72-79.

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano,
Efficient representation of the attacker’s knowledge in cryptographic protocols analysis,
Formal Aspects of Computing, Vol. 20, No. 3 (March 2008), Springer, pp. 303-348.

Davide Pozza, Riccardo Sisto,
A Lightweight Security Analyzer inside GCC,
in ARES 2008 - 3rd Int. Conf. on Availability, Reliability and Security, Barcelona, Spain, March 2008, IEEE, pp. 851-858.

2007

Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano,
Improving the security of industrial networks by means of formal verification,
Comput. Stand. Interfaces, Vol. 29, No. 3 (March 2007), Elsevier, pp. 387-397.

Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano,
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems,
in DepCoS-RELCOMEX '07 - 2nd Int. Conf. on Dependability of Computer Systems, Szklarska Poreba, Poland, June 2007, IEEE, pp. 11-18.

Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano,
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols,
in DepCoS-RELCOMEX '07 - 2nd Int. Conf. on Dependability of Computer Systems, Szklarska Poreba, Poland, June 2007, IEEE, pp. 153-160.

Alfredo Pironti, Riccardo Sisto,
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation,
in ISCC 2007 - 12th IEEE Symp. on Computers and Communications, Aveiro, Portugal, July 2007, IEEE, pp. 839-844.

Paolo Maggi, Riccardo Sisto,
A Grid-Powered Framework to Support Courses on Distributed Programming,
IEEE Trans. on Education, Vol. 50, No. 1 (February 2007), IEEE, pp. 27-33.

2006

Davide Pozza, Riccardo Sisto, Luca Durante, Adriano Valenzano,
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software,
in COMSWARE 2006 - 1st Int. Conf. on Comunication System Software and Middleware, New Delhi, India, January 2006, IEEE.

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano,
Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus,
Int. Journal of Foundations of Computer Science, Vol. 17, No. 4 (August 2006), World Scientific, pp. 815-832.

Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano,
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols,
in WFCS 2006 - 6th IEEE Int. Workshop on Factory Communication Systems, Turin, Italy, June 2006, IEEE, pp. 273-282.

2005

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano,
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study,
in DIMVA 2005: 2nd Int. Conf. on Detection of Intrusions and Malware and Vulnerability Assessment, Vienna, Austria, July 2005, Springer, pp. 69-84.

2004

Davide Pozza, Riccardo Sisto, Luca Durante,
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus,
in AINA '04: Proceedings of the 18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan, March 2004, IEEE, pp. 400-405.

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano,
Exploiting Symmetries for Testing Equivalence in the Spi Calculus,
in ATVA 2004 - 2nd Int. Symp. on Automated Technology for Verification and Analysis, Taiwan, November 2004, Springer, pp. 135-149.

Last Update: October 2008