Coordinator of the PhD programme in Computer Science
System and network security
Security protocols and APIs
Automated verification tools
I am chair of the IFIP Working Group 1.7 "Theoretical Foundations of Security Analysis and Design".
News and highlights:
[2017-2020] I'm the coodinator of local unit of the Project FilieraSicura
[2013-2015] I've been the coodinator of local unit of the national MIUR Project "Security Horizons".
[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)
I am in the editorial board of the Journal of Computer Security (JCS), IOS Press.
ESORICS 2017 (PC member) 22nd European Symposium on Research in Computer SecurityOslo, Norway on September 11-13, 2017.
HotSpot 2017 (PC member) 5th Workshop on Hot Issues in Security Principles and TrustAffiliated with ETAPS 2017 Uppsala, Sweden. April 23rd, 2017
ITASEC 2017 (PC chair and General chair) First Italian Conference on Cybersecurity, January 17-20, Venice, Italy
ESORICS 2016 (PC member) 21st European Symposium on Research in Computer SecurityHeraklion, Greece on September 28-30, 2016.
POST 2016 (PC member) 5th International Conference on Principles of Security and Trust2-8 April 2016, Eindhoven, The Netherlands.
HotSpot 2016 (PC member) 4th Workshop on Hot Issues in Security Principles and TrustAffiliated with ETAPS 2016, Eindhoven, The Netherlands April 3rd, 2016.
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