Riccardo Focardi's Publications

Journal Papers

Matteo Centenaro, Riccardo Focardi and Flaminia L. Luccio
Type-based Analysis of Key Management in PKCS#11 cryptographic devices
Journal of Computer Security (JCS), vol. 21, Number 6, 2013, pp. 971-1007 (ISSN 0926-227X)
[pdf] [bibtex from dblp] [link DOI]
Riccardo Focardi and Flaminia L. Luccio
Guessing Bank PINs by Winning a Mastermind Game
Theory of Computing Systems (TOCS), ISSN 1432-4350, 50(1), 52-71, 2012
[pdf] [bibtex from dblp]
Michele Bugliesi and Riccardo Focardi
Channel Abstractions for Network Security
Mathematical Structures in Computer Science, vol. 20, pp. 3-44. Cambridge University Press, 2010.
[pdf] [bibtex]
Chiara Braghin, Agostino Cortesi and Riccardo Focardi
Information Flow Security in Boundary Ambients.
Information & Computation. 206(2-4): 460-489. Elsevier 2008.
[pdf] [bibtex]
M. Bugliesi, R. Focardi and M. Maffei.
Dynamic Types for Authentication.
Journal of Computer Security, IOS Press. Volume 15, Number 6, 2007.
[pdf] [bibtex]
R. Focardi, R. Lucchi, G. Zavattaro.
Secure shared data-space Coordination Languages: a Process Algebraic survey
Science of Computer Programming, 63(1): 3-15, Elsevier, 2006.
[pdf] [bibtex]
R. Focardi and S. Rossi.
Information Flow Security in Dynamic Contexts.
Journal of Computer Security, IOS Press. Volume 14, Number 1, 2006.
[ps.gz] [bibtex]
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
Authentication primitives for secure protocol specifications.
Future Generation Comp. Syst. 21(4): 645-653 (2005)
[bibtex]
C. Braghin, A. Cortesi, R. Focardi, F.L. Luccio, C. Piazza.
Nesting Analysis of Mobile Ambients,
Computer Languages, Systems and Structures. 30(3-4): 207-230 (2004). Elsevier Science.
A. Bossi, R. Focardi, C. Piazza, and S. Rossi.
Verifying Persistent Security Properties.
Computer Languages, Systems and Structures. 30(3-4): 231-258 (2004). Elsevier Science.
R. Focardi, F.L. Luccio.
A modular approach to Sprouts.
Discrete Applied Mathematics (DAM), vol. 144 (3) pp. 303-319, 2004, Elsevier Science.
R. Focardi, R. Gorrieri and F. Martinelli.
Real-Time Information Flow Analysis,
IEEE Journal on Selected Areas in Communications. January 2003, Volume 21, Number 1, pages 20-35. IEEE press.
R. Focardi, R. Gorrieri and F. Martinelli.
A Comparison of Three Authentication Properties,
Theoretical Computer Science, Volume 291(3), Pages 219- 388, January 2003, Elsevier Science.
C. Braghin, A. Cortesi, R. Focardi.
Security Boundaries in Mobile Ambients,
Computer Languages, Elsevier Science, vol. 28(1), April 2002.
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi and Corrado Priami .
Primitives for Authentication in Process Algebras.
Theoretical Computer Science, vol. 283(2), pages 271- 304, Elsevier Science. June 2002. [.pdf]
Antonio Durante, Riccardo Focardi and Roberto Gorrieri,
A Compiler for Analysing Cryptographic Protocols Using Non-Interference,
ACM Transactions on Software Engineering and Methodology, vol. 9(4), pp. 488-528, October 2000.
Riccardo Focardi, Flaminia Luccio, and David Peleg,
Feedback Vertex Set in Hypercubes,
Information Processing Letters (IPL), p. 1-5, 76(1-2), November 2000.
Riccardo Focardi and Roberto Gorrieri,
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties ,
IEEE Transactions on Software Engineering , Vol. 23, No. 9, September 1997. (get here a preliminary .ps.gz)
Riccardo Focardi and Roberto Gorrieri,
A Classification of Security Properties for Process Algebras ,
Journal of Computer Security , 3(1): 5-33, 1995.

Tutorial Papers and Book Chapters

Riccardo Focardi, Flaminia L. Luccio and Graham Steel.
An Introduction to Security API Analysis.
In Foundations of Security Analysis and Design IV - Tutorial Lectures, LNCS 6858, pages 35-65. Springer, 2011.
[pdf] [bibtex from dblp]
Riccardo Focardi and Matteo Maffei.
Types for Security Protocols
In Formal Models and Techniques for Analyzing Security Protocols (Véronique Cortier, Steve Kremer Eds.), pages 143-181, volume 5, chapter 7. Cryptology and Information Security Series, IOS Press, ISBN 978-1-60750-713-0, 2011.
[pdf]
Riccardo Focardi.
Static Analysis of Authentication.
In Foundations of Security Analysis and Design III - Tutorial Lectures, (A. Aldini, R. Gorrieri, F. Martinelli Eds.) LNCS Vol. 3655, Springer, 2005.
[ps.gz] [bibtex]
Riccardo Focardi, Roberto Gorrieri and Fabio Martinelli.
Classification of Security Properties (Part II: Network Security).
In Foundations of Security Analysis and Design II - Tutorial Lectures (R. Focardi and R. Gorrieri, Eds.). LNCS 2946, Springer, 2004.
Riccardo Focardi, Roberto Gorrieri
Classification of Security Properties (Part I: Information Flow).
In Foundations of Security Analysis and Design - Tutorial Lectures (R. Focardi and R. Gorrieri, Eds.). LNCS 2171, Springer, 2001.

Magazines

Riccardo Focardi.
Practical Padding Oracle Attacks on RSA.
In Hakin9 - Defend Yourself! Hands-on Cryptography,. Hakin9 IT Security Magazine. September 2012.

Conference Papers

Pedro Adão, Riccardo Focardi, Flaminia L. Luccio.
Type-Based Analysis of Generic Key Management APIs.
IEEE 26th Computer Security Foundations Symposium, June 26-28, 2013, pp. 97-111 (ISBN 9780769550312)
[ePrint version] [bibtex from dblp] [bibtex of ePrint from dblp]
Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay.
Efficient Padding Oracle Attacks on Cryptographic Hardware.
CRYPTO 2012: 608-625
[ePrint version] [bibtex from dblp]
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Marco Squarcina
Gran: Model Checking Grsecurity RBAC Policies.
IEEE CSF 2012: 126-138
[pdf] [bibtex from dblp]
Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio.
Type-Based Analysis of PKCS#11 Key Management.
POST 2012: 349-368
[pdf] [bibtex from dblp]
Riccardo Focardi and Flaminia Luccio
Secure recharge of disposable RFID tickets.
In proceedings of the 8th International Workshop on Formal Aspects of Security & Trust (FAST2011) Leuven, Belgium, September 15-16, 2011. Springer LNCS 7140.
[pdf] [slides] [bibtex]
Matteo Bortolozzo, Matteo Centenaro, Riccardo Focardi, Graham Steel
Attacking and Fixing PKCS#11 Security Tokens.
In proceedings of the 17th ACM Conference on Computer and Communications Security (ACM CCS 2010), Chicago USA, October 2010.
[Tookan home-page] [pdf] [slides] [bibtex]
Riccardo Focardi, Flaminia Luccio
Cracking Bank PINs by Playing Mastermind
In proceedings of the 5th International Conference on Fun with Algorithms (FUN 2010), Ischia, Italy, June 2-4, 2010. Lecture Notes in Computer Science 6099 Springer 2010, ISBN 978-3-642-13121-9
Note: the proceedings paper contains wrong numerical results. Here you can download an amended version.
[Mastermind and PIN cracking page] [pdf (amended)]
Riccardo Focardi, Flaminia Luccio
Secure upgrade of hardware security modules in bank networks
In proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'10), Paphos, Cyprus, March 27-28, 2010. Springer LNCS 6186.
[pdf] [slides] [bibtex]
Matteo Centenaro, Riccardo Focardi
Match It or Die: Proving Integrity by Equality
In proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'10), Paphos, Cyprus, March 27-28, 2010. Springer LNCS 6186.
[pdf] [bibtex]
Andrea Falcone, Riccardo Focardi
Formal Analysis of Key Integrity in PKCS#11
In proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'10), Paphos, Cyprus, March 27-28, 2010. Springer LNCS 6186.
[pdf] [slides] [bibtex]
Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel
Type-Based Analysis of PIN Processing APIs
In proceedings of the 14th European Symposium on Research in Computer Security (ESORICS 2009), Saint-Malo, France, September 21-23, 2009. Springer LNCS 5789.
[pdf] [bibtex]
[full version] with all proofs. TR CS-2009-6, Department of Computer Science, Univ. Venice.
[extended abstract] presented at the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'09) York, UK March 2009
Riccardo Focardi, Flaminia L. Luccio and Graham Steel
Blunting Differential Attacks on PIN Processing APIs
In proceedings of the 14th Nordic Conference on Secure IT Systems (NordSec 2009), Oslo, Norway, 14-16 October 2009. Springer LNCS 5838.
[pdf] [bibtex]
[extended abstract] presented at the 3rd International Workshop on Analysis of Security APIs (ASA-3). July 10-11 2009, Port Jefferson, New York, USA.
Matteo Bortolozzo, Giovanni Marchetto, Riccardo Focardi and Graham Steel
Secure your PKCS#11 token against API attacks!
In proceedings of the 3rd International Workshop on Analysis of Security APIs (ASA-3). July 10-11 2009, Port Jefferson, New York, USA.
[pdf] [bibtex]
Michele Bugliesi and Riccardo Focardi
Security Abstractions and Intruder Models (Extended Abstract)
In proceedings of the 15th International Workshop on Expressiveness in Concurrency (EXPRESS'08) Toronto, Canada. Elsevier ENTCS, Volume 242, Number 1, July 2009.
[pdf] [bibtex]
Michele Bugliesi and Riccardo Focardi
Language Based Secure Communication
In proceedings of the 21st IEEE Computer Security Foundation Symposium (CSF'08) June 2008. IEEE Press.
[pdf] [bibtex]
Riccardo Focardi and Matteo Centenaro
Information flow security of multi-threaded distributed programs
In proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security (PLAS'08) June 2008. ACM Press.
[pdf] [bibtex]
[pdf, full version] (with proofs)
Michael Backes, Agostino Cortesi, Riccardo Focardi and Matteo Maffei
A Calculus of Challenges and Responses.
In proceedings of the 5th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE'07) November 2007. ACM Press.
[pdf] [bibtex]
Michele Bugliesi, Riccardo Focardi, Matteo Maffei
Analysis of Typed Analyses of Authentication Protocols.
In proceedings of 18th IEEE Computer Security Foundation Workshop (CSFW2005),pages 112-125, July 2005, IEEE Press.
[pdf] [bibtex]
Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld.
Bridging Language-Based and Process Calculi Security.
In proceedings of 8th International conference on Foundations of Software Science and Computation Structure (FoSSaCS 2005) pages 299-315. LNCS 3441. Springer.
[ps.gz] [bibtex]
Riccardo Focardi, Matteo Maffei, Francesco Placella.
Inferring Authentication Tags.
In proceedings of 2005 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security (WITS'05). ACM press. January 10-11, 2005, Long Beach, California (co-located with POPL'05).
[pdf] [bibtex]
Michele Bugliesi, Riccardo Focardi and Matteo Maffei.
Authenticity by Tagging and Typing,
In proceedings of 2nd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE 2004), Washington D.C., U.S.A., October 2004, ACM Press.
Michele Bugliesi, Riccardo Focardi, Matteo Maffei.
Compositional Analysis of Authentication Protocols.
In Proceedings of the European Symposium on Programming (ESOP 2004), Barcelona, Spain, March 29-April 2, 2004. Springer LNCS Vol. 2986
A. Bossi, R. Focardi, C. Piazza, and S. Rossi.
Refinement Operators and Information Flow Security.
Proc. of the International IEEE Conference on Software Engineering and Formal Methods, SEFM 2003, pag. 44-53, IEEE Computer Society Press, 2003.
Michele Bugliesi, Riccardo Focardi, Matteo Maffei.
Principles for Entity Authentication.
In proceedings of Andrei Ershov Fifth International Conference PERSPECTIVES OF SYSTEM INFORMATICS (PSI 2003), Novosibirsk, Siberia, Russia, July 2003, LNCS 2890, Springer-Verlag, pg 294-307.
C.Bodei, P.Degano, R.Focardi, C.Priami.
Authentication Primitives for Protocol Specifications.
Proceedings of PaCT'03, LNCS 2763, pp. 49 - 65, Nizhny Novgorod, Russia, September 2003.
C. Braghin, A. Cortesi, S. Filippone, R. Focardi, F. L. Luccio and Carla Piazza.
BANANA: A Tool for Boundary Ambients Nesting ANAlysis.
Proc. of the Ninth International Conference on Tools and algorithms for the Construction and Analysis of Systems (TACAS' 03), LNCS 2619, Springer-Verlag, 2003.
C. Braghin, A. Cortesi, R. Focardi, F. L. Luccio and Carla Piazza.
Complexity of Nesting Analysis in Mobile Ambients
Proc. of the Fourth International Conference on Verication, Model Checking and Abstract Interpretation (VMCAI 2003), LNCS 2575, pag. 86-101, Springer-Verlag, 2003.
A. Bossi, R. Focardi, C. Piazza, and S. Rossi.
Bisimulation and Unwinding for Verifying Possibilistic Security Properties
Proc. of the Fourth International Conference on Verication, Model Checking and Abstract Interpretation (VMCAI 2003), LNCS 2575, pag. 223-237, Springer-Verlag, 2003.
Freshness Analysis in Security Protocols. Chiara Braghin, Agostino Cortesi, and Riccardo Focardi. In Proc. of 14th Nordic Workshop on Programming Theory (NWPT 02), pages 30 33, Tallin, Estonia, 20-22 November 2002.
Transforming processes to ensure and/or check Information Flow Security, A.Bossi, R.Focardi, C.Piazza, S.Rossi. In proceedings of 9th International Conference on Algebraic Methodology And Software Technology (AMAST'2002), LNCS 2422, Springer-Verlag, September 9-13, 2002.
A Proof System for Information Flow Security, A. Bossi, R. Focardi, C. Piazza, S. Rossi In Proceedings of International Workshop on Logic Based Program Development and Transformation, (LOPSTR '02), LNCS 2664, Springer- Verlag, September 2002.
Information Flow Security in Dynamic Contexts, R. Focardi, S. Rossi. In proceedings of 15th IEEE Computer Security Foundations Workshop (CSFW 2002), IEEE Computer Society Press, 2002.
Boundary Inference for Enforcing Security Policies in Mobile Ambients, Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel. In proceedings of 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), Kluwer press, 2002.
Control Flow Analysis of Mobile Ambients with Security Boundaries, Chiara Braghin, Agostino Cortesi and Riccardo Focardi. In proceedings of Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'02), Kluwer press, 20-22 March 2002, University of Twente.
Proofs Methods for Bisimulation based Information Flow Security, R. Focardi, C. Piazza, S. Rossi. In proceedings of Third International Workshop on Verification, Model Checking and Abstract Interpretation, (VMCAI 2002), LNCS 2294, Springer-Verlag, January 2002.
A Security Property for Processes in Dynamic Contexts Riccardo Focardi, Sabina Rossi. In proceedings of 2002 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'02) Portland, Oregon, USA, January 14-15, 2002.
Authentication Primitives for Refining Protocol Specifications. Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami In proceedings of 2002 ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'02) Portland, Oregon, USA, January 14-15, 2002. [.ps.gz]
Control Flow Analysis for information flow security, , Chiara Braghin, Agostino Cortesi and Riccardo Focardi. In H.R.Nielson (ed.) Proc. NORDSEC 2001, Sixth Nordic Workshop on Secure IT Systems, Tech. Rep. IMM-TR-2001-14 TU of Denmark, pp. 85-99, 2001.
Information Flow Security in Mobile Ambients, Agostino Cortesi and Riccardo Focardi. In Proc. of International Workshop on Concurrency and Coordination (ConCoord'01), Lipari Island, Italy, 6-8 July 2001, Electronic Notes on Theoretical Computer Science, ENTCS vol. 54, Elsevier, 2001.
CVS at Work: A Report on New Failures upon some Cryptographic Protocol, Antonio Durante, Riccardo Focardi and Roberto Gorrieri, in proceedings of Mathematical Methods, Models and Architectures for Computer Networks Security (MMM-ACNS'01), Springer LNCS 2052, May 2001, St. Petersburg, Russia
A new analysis technique for the Sprouts Game, Riccardo Focardi and Flaminia Luccio, in proceedings of 2nd International Conference on FUN with Algorithms (FUN 2001), Carleton Scientific Press, Isola d'Elba, Italy, May 2001.
Non Interference for the Analysis of Cryptographic Protocols, Riccardo Focardi, Roberto Gorrieri and Fabio Martinelli, in proceedings of 27^th International Colloquium on Automata, Languages and Programming (ICALP'00), (U. Montanari, ed.), LNCS 1853, Geneve, Switzerland, July 2000.
A New Definition of Multilevel Security, Riccardo Focardi, Roberto Gorrieri and Roberto Segala, in proceedings of Workshop on Issues in the Theory of Security (WITS '00), (P. Degano, ed.), Geneve, Switzerland, July 2000.
Information Flow in a Discrete-Time Process Algebra Riccardo Focardi, Roberto Gorrieri and Fabio Martinelli, in proceedings of 13^th IEEE Computer Security Foundations Workshop (CSFW'00), (P. Syverson ed.), IEEE press, Cambridge, England, July 2000.
Message Authentication through Non Interference, Riccardo Focardi, Roberto Gorrieri and Fabio Martinelli, in proceedings of International Conference on Algebraic Methodology And Software Technology (AMAST 2000), LNCS 1816, pag. 258-272, Iowa City, Iowa, USA, May 2000.
Secrecy in Security Protocols as Non Interference, Riccardo Focardi, Roberto Gorrieri and Fabio Martinelli, in proceedings of DERA/RHUL Workshop on Secure Architectures and Information Flow (S. Schneider and P. Ryan ed.), Elsevier ENTCS, Volume 32, December 1999.
A Uniform Approach for the Definition of Security Properties. Riccardo Focardi and Fabio Martinelli, in proceedings of World Congress on Formal Methods (FM'99), Springer-Verlag LNCS 1708, pag. 794-813, Toulouse (France), September 1999.
A Uniform Approach for the Analysis of Cryptographic Protocols, Riccardo Focardi and Fabio Martinelli, in Second Conference on Security in Communication Networks (SCN'99), (G. Persiano ed.), September 16-17, 1999, Amalfi, Italy.
Authentication via Localized Names Chiara Bodei, Pierpaolo Degano, Riccardo Focardi and Corrado Priami , in proceedings of 12th IEEE Computer Security Foundations Workshop (CSFW'99), (P. Syverson ed.), IEEE press, pag. 98-110, Mordano (Italia), June 1999.
CVS: A Compiler for the Analysis of Cryptographic Protocols, Antonio Durante, Riccardo Focardi and Roberto Gorrieri, in proceedings of 12th IEEE Computer Security Foundations Workshop (CSFW'99), (P. Syverson ed.), IEEE press, pag. 203-212, Mordano (Italia), June 1999.
Using Entity Locations for the Analysis of Authentication Protocols , Riccardo Focardi in proceedings of Sixth Italian Conference on Theoretical Computer Science (ICTCS'98), Prato, 9-11 November 1998
Using Non Interference for the Analysis of Security Protocols , Riccardo Focardi, Anna Ghelli and Roberto Gorrieri, in Proceedings of DIMACS Workshop on Design and Formal Verification of Security Protocols (H. Orman and C. Meadows Ed.) September 3-5, 1997, DIMACS Center, CoRE Building, Rutgers University. (you can get a .ps.gz, see an html version, or go to the electronic proceedings of the workshop).
Non Interference: Past, Present and Future , Riccardo Focardi and Roberto Gorrieri, in Proceedings of DARPA Workshop on Foundations for Secure Mobile Code , 26-28 March 1997 Monterey, California, USA. (get here the .ps.gz)
Comparing Two Information Flow Security Properties , Riccardo Focardi, in Proceedings of Ninth IEEE Computer Security Foundations Workshop (CSFW'96), (M. Merritt Ed.), IEEE Press, pages 116-122, Kenmare (Ireland), June 1996. (get here the .ps.gz)
Automatic Compositional Verification of Some Security Properties , Riccardo Focardi and Roberto Gorrieri, in Proceedings of Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), (B. Steffen Ed.), pages 167-186, Passau (Germany), March 1996. Springer-Verlag, LNCS 1055. (get here the .ps.gz)
The Security Checker: a Semantics-based Tool for the Verification of Security Properties , Riccardo Focardi, Roberto Gorrieri and Villiam Panini, in Proceedings of Eighth IEEE Computer Security Foundations Workshop (CSFW'95), (Li Gong Ed.), IEEE Press, pages 60-69, Kenmare (Ireland), June 1995.
A Taxonomy of Trace-based Security Properties for CCS , Riccardo Focardi and Roberto Gorrieri, in Proceedings of Seventh IEEE Computer Security Foundations Workshop (CSFW'94), (Li Gong Ed.), IEEE Press, pages 126-136, Franconia (NH), June 1994.
An Information Flow Security Property for CCS , Riccardo Focardi and Roberto Gorrieri, in Proceedings of Second North American Process Algebra Workshop (NAPAW'93), (B. Bloom Ed.), TR-93/1369 of Cornell University, Ithaca (NY), August 1993.

Editing of Volumes and Journals

Special Issue on CSFW17 of the Journal of Computer Security (Riccardo Focardi, Ed.), IOS Press, Volume 14, Number 2, 2006
Special Issue on CSFW16 of the Journal of Computer Security (Riccardo Focardi, Ed.), IOS Press, Volume 13, Number 3, 2005
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004) (Riccardo Focardi and Gianluigi Zavattaro, Eds.) Electr. Notes Theor. Comput. Sci. 128(5): 1-2 (2005)
Proceedings of 17th IEEE Computer Security Foundations Workshop (CSFW17), (Riccardo Focardi, Ed.) 28-30 June, 2004 Asilomar Pacific Grove, CA. IEEE Press.

Foundations of Security Analysis and Design II - Tutorial Lectures. (Riccardo Focardi, Roberto Gorrieri, Eds.). Lecture Notes in Computer Science (LNCS) 2946 Springer, 2004.

Proceedings of 1st International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'03) (R. Focardi and G. Zavattaro, Eds.) June 28-29, 2003, Eindhoven, the Netherlands. Electronic Notes in Theoretical Computer Science, Volume 85, Number 3, 2003. Affiliated to ICALP 2003.
Proceedings of 16th IEEE Computer Security Foundations Workshop (CSFW16), (Riccardo Focardi, Ed.) 29 June - 3 July, 2003 Asilomar Pacific Grove, CA. IEEE Press.
Foundations of Security Analysis and Design - Tutorial Lectures. (Riccardo Focardi, Roberto Gorrieri, Eds.). Lecture Notes in Computer Science (LNCS) 2171, Springer, 2001.
Special issue on "Computer Languages and Security" of the journal of Computer Languages, Systems & Structures (A. Cortesi and R. Focardi, Eds.), Elsevier Science, vol. 28(1), April 2002.

Electronic Journals

A. Bossi, R. Focardi, D. Macedonio, C. Piazza and S. Rossi.
Unwinding in Information Flow Security.
Electronic Notes in Theoretical Computer Science, Elsevier. Volume 99, Pages 127-154, August 2004. Proceedings of the MEFISTO Project, Formal Methods for Security and Time.
Riccardo Focardi and Matteo Maffei.
The ro-spi Calculus at Work: Authentication Case Studies.
Electronic Notes in Theoretical Computer Science, Elsevier. Volume 99, Pages 267-293, August 2004. Proceedings of the MEFISTO Project, Formal Methods for Security and Time.
C. Braghin, A. Cortesi, R. Focardi, F.L. Luccio and C. Piazza.
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients.
Electronic Notes in Theoretical Computer Science, Elsevier. Volume 99, Pages 319-337, August 2004. Proceedings of the MEFISTO Project, Formal Methods for Security and Time.

Technical Reports

M. Centenaro, R. Focardi, F.L. Luccio, G. Steel
Type-based Analysis of Financial APIs
Technical Report CS-2009-2, University of Venice, January 2009.
R. Focardi, S. Rossi, A. Sabelfeld
Bridging Language-Based and Process Calculi Security
Technical Report CS-2004-14 University of Venice, December 2004.
C. Braghin, A. Cortesi, R. Focardi
Freshness Analysis in Authentication Protocols in Mobile Ambient Calculus
Technical Report CS-2004-11 University of Venice, November 2004.
M. Bugliesi, R. Focardi, M. Maffei
Compositional Analysis of Authentication Protocols (Full Version)
Technical Report CS-2003-18 University of Venice, December 2003.
M. Bugliesi, R. Focardi, M. Maffei
Compositional Analysis of Entity Authentication Protocols
Technical Report CS-2003-12 University of Venice, July 2003.
M. Bugliesi, R. Focardi, M. Maffei, F. Tudone
Principles for Entity Authentication
Technical Report CS-2003-10 University of Venice, June 2003.

Thesis

Analysis and Automatic Detection of Information Flows in Systems and Networks, Riccardo Focardi, PhD Thesis, UBLCS-99-16, University of Bologna, July 1999

Coauthors

Back to my home page.