Short Resume

'16
Actually, I have a position as associate professor with the Dipartimento di Informatica of the Università di Milano.
'05-'16
From Jan. '05, I was assistant professor with the Dipartimento di Informatica of the Università di Milano.

'99 -'04
From Sept '99 - Dec. 04, I had a position as research fellow with the Dipartimento di Informatica e Applicazioni of the Università di Salerno.

94-99
In March 99 I got the Phd in Computer Science at the Computer Science Department of the University of Bologna under the supervision of Prof. Paolo Ciancarini.

94
In June '94, I received the Laurea degree in Computer Science (cum laude) from the University of Salerno




International Conferences and Schools

  • ICISSP 2018 - 4th International Conference on Information Systems Security and Privacy, Madeira, Portugal, January 22-24, 2018
  • COMPSAC 2017 IEEE International Computer Software and Applications Conference Torino, Italy, July 2017.
  • 8th IEEE International Workshop on Information Forensics and Security (WIFS) 2016, Abu Dhabi, UAE, December 4-7, 2016
  • COMPSAC 2016 IEEE International Computer Software and Applications Conference Atlanta, Usa, July 2016.
  • ICISSP 2016 - 2nd International Conference on Information Systems Security and Privacy, Rome, Italy, 19-21 February, 2016
  • COMPSAC 2015 IEEE International Computer Software and Applications Conference Taichung, Taiwan, July 2015.
  • COMPSAC 2014 IEEE International Computer Software and Applications Conference vasteras, Sweden, July 2014.
  • COMPSAC 2013 IEEE International Computer Software and Applications Conference Kyoto, Japan, July 2013.
  • IIH-MSP 2013, 9th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, Bejing, China, October 2013.
  • SETOP 2012, 5th International Workshop on Autonomous and Spontaneous Security (in conjunction with ESORICS 2012), Pisa, Italy, September 2012
  • STM 2012 8th International Workshop on Security and Trust Management (in conjunction with ESORICS 2012), Pisa, Italy, September 2012
  • COMPSAC 2012 IEEE International Computer Software and Applications Conference Izmir, Turkey, July 2012.
  • COMPSAC 2011 IEEE International Computer Software and Applications Conference Munich, Germany, July 2011.
  • COMPSAC 2010 IEEE International Computer Software and Applications Conference Seoul, Korea, July 2010.
  • ACM SAC 2010 25th Symposium On Applied Computing Saint Moritz, Switzerland, March 2010.
  • COMPSAC 2009 IEEE International Computer Software and Applications Conference Seattle, USA, July 2009.
  • COMPSAC 2008 IEEE International Computer Software and Applications Conference Turku, Finland, July 2008.
  • ISCC 2006 IEEE Symposium on Computers and Communications Pula, Italy, June 2006.
  • CANS 2005 International Conference on Cryptology and Network Security , Xiamen, China, December 2005.

  • IEEE 2005 International Symposium on Applications and the Internet, SAINT 2005, Trento, Italy, January 2005.

  • Fourth International Conference on Security in Communication Networks, SCN 2004, Amalfi, Italy, September 2004.

  • International Workshop on Certification and Security in Inter-Organizational E-Services CSES 2004, Toulose, France, August 2004.

  • IEEE International Conference on Information Technology, ITCC'04' Las Vegas, USA, April 2004.

  • Italian Conference on Theoretical Computer Science, ITCTS'03, Bertinoro, Italy, September 2003.

  • IEEE Symposium on Computers and Communications, ISCC'03, Antalya, Turkey, July 2003.

  • IEEE Information Theory Workshop , ITW'03, La Sorbonne, Paris, France, March-April 2003.

  • 14th International Conference on Software Engineering and Knowledge Engineering, SEKE'02, Ischia, Italy, July 2002.

  • 11th World Wide Web Conference , WWW'02, Honolulu, Usa, May 2002.

  • 4th International Conference on Information Security and Cryptology, ICISC 2001, Seoul, Korea, December 2001.

  • 7th Italian Conference on Theoretical Computer Science, ICTCS 01, Torino, Italy, October 2001.

  • Workshop on Formal Techniques for Java Programs, ECOOP 99, Lisbon, Portugal, June 1999.

  • Dagstuhl Seminar on System Integration, Dagstuhl, Germany, March 1999

  • FMOODS'99 Third International Conference on Formal Methods for Open Object-Based Distributed Systems Florence, Italy, February 15-18, 1999

  • RENOIR Research Training "Mini-Workshop" Bommerholz, Germany, January 1998

  • Sixth European Software Engineering Conference and Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 97, Zurich, Switzerland, 22-25 September 1997

  • Methods and Tools for the Verification of Infinite State Systems Grenoble, France, 23-25 Marzo 1997.

  • V&V 40funzionalitá, prestazioni e affidabilitá di processi e prodotti nell'ingegneria del software, Roma, 25-27 September 1996.

  • Joint Conference on Declarative Programming (APPIA-GULP-PRODE'96) San Sebastian, Spain, 15-18 July 1996.

  • First International Conference on Coordination Models and Languages (COORDINATION'96), Cesena, 15-17 April 1996.

  • Prima Scuola Nazionale dei Dottorati di Informatica delle Facoltà di Scienze, Siena, 2-6 October 1995.