Riccardo Focardi, Associate Professor

Research Interests

• Security

• Formal methods for security

• Verification of security properties

• Semantics of concurrent languages

• Static analysis

• Algorithms and verification tools

• _NEW! I am the founder of secgroup@unive. On the group web-site you can find news, discussions and description of recent research.

  Latest news:

  • [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.

Projects and Working Groups

• [2009-1010] I am the coodinator of the national MIUR Project SOFT - "Software Oriented Formal Techniques".
  A project web page will be soon available. Click here to see the project proposal.

• I am member and secretary of IFIP Working Group 1.7 "Theoretical Foundations of Security Analysis and Design".

Concluded Projects

• [2005-2006] I am in 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

Journals

• I am in the editorial board of the Journal of Computer Security (JCS), IOS Press. (See also the Journal Website)

Recent Events

• 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

• WITS'07 (Chair) 7th International Workshop on Issues in the Theory of Security March 24 - 25, 2007, Braga, Portugal, co-located with ETAPS 2007

• 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.

• Less Recent Events

Verification Tools

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.

Teaching activity (in italian)

• Documentazione da presentare in segreteria a Venezia per optare al nuovo ordinamento

• Modulo Opzione con conteggio automatico voti

• Modulo Opzione con conteggio automatico voti e curriculum ECS

Dall'anno accademico 2007/2008

• Sistemi Operativi B e Laboratorio di Sistemi Operativi

• Sicurezza

  Dall'anno accademico 2002/2003 all'anno accademico 2006/2007

• Sistemi Operativi A

• Sicurezza

  Anni Accademici precedenti

• Laboratorio di Ingegneria del Software

• Sistemi B + Laboratorio

Università Ca' Foscari di Venezia

• Dipartimento di Informatica