Where to find me
Formal methods for security
Verification of security properties
Semantics of concurrent languages
Algorithms and verification tools
I am the founder of secgroup@unive. On the group web-site you can find news, discussions and description of recent research.
[04/05/2013] NEW PhD positions in Information Security: Deadline May 27th, 2013
[22/03/2013] Got 5th place at UCSB iCTF2013!
[28/09/2012] RSA padding oracle hands-on
[27/06/2012] The “Million Message Attack” in 15,000 Messages
[16/04/2012] Gran: grsecurity analyser
[21/10/2011] ENOWARS 2011 CTF: we got 3rd place!
[16/03/2011] Try to hack!
[05/12/2010] We got third place in UCSB iCTF
[26/10/2010] Attacking and Fixing PKCS#11 Security Tokens
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)
Have a look at the local MEFISTO web page
2005 IEEE Symposium on Security and Privacy (PC member), May 8-11, 2005 The Claremont Resort Berkeley/Oakland, California, USA.
CSFW'06 (General Chair and PC member) 19th IEEE Computer Security Foundations Workshop July 5-7, 2006, Isola di S. Servolo - Venezia Italy
CSF'07 (General Chair and PC member) 20th IEEE Computer Security Foundations Symposium July 6-8, 2007, S. Servolo island, Venice - Italy
CSF'08 (PC member) 21th IEEE Computer Security Foundations Symposium June 23-25, 2008, Carnegie Mellon University, Pittsburgh - USA
ARSPA-WITS'09 (PC member) Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Affiliated with ETAPS 2009. York, UK, March 18-29, 2009.
ARSPA-WITS'10 (PC member) Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Affiliated with ETAPS 2010. Paphos, Cyprus March 27-28, 2010.
Please, notice that these tools are not anymore suppoted.
The BANANA tool: a tool for the analysis of information leakage in Mobile Ambient specifications.
The CoPS tool, which allows you to efficiently verify persistent non-interference properties
The PEAR tool, which allows you to statically check authentication protocols
Look at our tool web page to find more detail on our verification tools.
Università Ca' Foscari di Venezia