Coordinator of the PhD programme in Computer Science.
Verification of security properties
Algorithms and verification tools
News and highlights:
Here you can find my publications.
[2013-2015] I'm the coodinator of Venetian unit of the national MIUR Project "Security Horizons".
I am member and secretary of IFIP Working Group 1.7 "Theoretical Foundations of Security Analysis and Design".
[2009-1010] I've been the coodinator of the national MIUR Project SOFT - "Software Oriented Formal Techniques". Click here to see the project proposal.
[2005-2006] I've been part of the Venetian team of the MIUR Project AIDA - Abstract Interpretation: Design and Applications
[2002-2004] MyThS: Models and Types for Security in Mobile Distributed Systems. FET-Global Computing, IST-2001-32617.
[2002-2003] I have been the coordinator of the Venetian team of the MIUR project MEtodi FormalI per la Sicurezza e il TempO (MEFISTO)
IEEE CSF'14 (PC member) IEEE Computer Security Foundations Symposium. Vienna, as part of the Vienna Summer of Logic, July 19-22, 2014.
ESORICS'13 (PC member) European Symposium on Research in Computer Security. Egham U.K. at Royal Holloway, University of London on 9th – 11th September 2013.
IEEE CSF'13 (PC member) IEEE Computer Security Foundations Symposium.. Tulane University, New Orleans, LA, June 26-28, 2013.
ACM CCS'12 (PC member) ACM Computer and Communications Security Conference. Oct. 16-18, 2012, Sheraton Raleigh Hotel, Raleigh, NC, USA.
ESORICS'12 (PC member) European Symposium on Research in Computer Security. September 2012 in Pisa, Italy.
IEEE CSF'12 (PC member) IEEE Computer Security Foundations Symposium. Harvard University, Cambridge, MA, USA, June 25-27, 2012.
CISIM'13 (PC member) International Conference on Information Systems and Industrial Management. Krakow 2013, September 25-27.
CISIM'12 (PC member) International Conference on Information Systems and Industrial Management. Venice, Italy, September 26-28, 2012.
IEEE CSF'11 (PC member) IEEE Computer Security Foundations Symposium. Domaine de l'Abbaye des Vaux de Cernay, France, June 27-29, 2011.
TOSCA'11 (PC member) Theory of Security and Applications. Saarbrücken, Germany March 31 and April 1, 2011.
Tookan (TOOl for cryptoKi ANalysis) is a tool for the automated analysis of PKCS#11 tokens. Tookan is the predecessor of Cryptosense analyzer (below).
CryptokiX a patch to opencryptoki with security fixes.
Grsecurity Analyser a tool for checking security flaws on real Grsecurity policies.
Mignis a semantic based tool for firewall configuration.
Old, unsupported tools:
BANANA: a tool for the analysis of information leakage in Mobile Ambient specifications.
CoPS: a tool to efficiently verify persistent non-interference properties
PEAR: a tool to statically check authentication protocols
Università Ca' Foscari di Venezia