Riccardo Focardi

Pedro Adão, Riccardo Focardi, Flaminia L. Luccio: Type-Based Analysis of Generic Key Management APIs (Long Version). IACR Cryptology ePrint Archive 2013: 237 (2013)

Riccardo Focardi, Flaminia L. Luccio: Guessing Bank PINs by Winning a Mastermind Game. Theory Comput. Syst. 50(1): 52-71 (2012)

Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay: Efficient Padding Oracle Attacks on Cryptographic Hardware. CRYPTO 2012: 608-625

Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Marco Squarcina: Gran: Model Checking Grsecurity RBAC Policies. CSF 2012: 126-138

Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio: Type-Based Analysis of PKCS#11 Key Management. POST 2012: 349-368

Mike Bond, Riccardo Focardi, Sibylle B. Fröschle, Graham Steel: Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl Reports 2(11): 155-168 (2012)

Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay: Efficient Padding Oracle Attacks on Cryptographic Hardware. IACR Cryptology ePrint Archive 2012: 417 (2012)

Riccardo Focardi, Flaminia L. Luccio, Graham Steel: An Introduction to Security API Analysis. FOSAD 2011: 35-65

Riccardo Focardi, Flaminia L. Luccio: Secure Recharge of Disposable RFID Tickets. Formal Aspects in Security and Trust 2011: 85-99

Riccardo Focardi: Editorial. Journal of Computer Security 18(6): 969 (2010)

Michele Bugliesi, Riccardo Focardi: Channel abstractions for network security. Mathematical Structures in Computer Science 20(1): 3-44 (2010)

Matteo Bortolozzo, Matteo Centenaro, Riccardo Focardi, Graham Steel: Attacking and fixing PKCS#11 security tokens. ACM Conference on Computer and Communications Security 2010: 260-269

Riccardo Focardi, Flaminia L. Luccio: Cracking Bank PINs by Playing Mastermind. FUN 2010: 202-213

Andrea Falcone, Riccardo Focardi: Formal Analysis of Key Integrity in PKCS#11. ARSPA-WITS 2010: 77-94

Riccardo Focardi, Flaminia L. Luccio: Secure Upgrade of Hardware Security Modules in Bank Networks. ARSPA-WITS 2010: 95-110

Matteo Centenaro, Riccardo Focardi: Match It or Die: Proving Integrity by Equality. ARSPA-WITS 2010: 130-145

Michele Bugliesi, Riccardo Focardi: Security Abstractions and Intruder Models (Extended Abstract). Electr. Notes Theor. Comput. Sci. 242(1): 99-112 (2009)

Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel: Type-Based Analysis of PIN Processing APIs. ESORICS 2009: 53-68

Riccardo Focardi, Flaminia L. Luccio, Graham Steel: Blunting Differential Attacks on PIN Processing APIs. NordSec 2009: 88-103

Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Information flow security in Boundary Ambients. Inf. Comput. 206(2-4): 460-489 (2008)

Michele Bugliesi, Riccardo Focardi: Language Based Secure Communication. CSF 2008: 3-16

Riccardo Focardi, Matteo Centenaro: Information flow security of multi-threaded distributed programs. PLAS 2008: 113-124

Michele Bugliesi, Riccardo Focardi, Matteo Maffei: Dynamic types for authentication. Journal of Computer Security 15(6): 563-617 (2007)

Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei: A calculus of challenges and responses. FMSE 2007: 51-60

Riccardo Focardi, Sabina Rossi: Information flow security in dynamic contexts. Journal of Computer Security 14(1): 65-110 (2006)

Riccardo Focardi: Preface. Journal of Computer Security 14(2): 111 (2006)

Riccardo Focardi, Gianluigi Zavattaro: Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems. Sci. Comput. Program. 63(1): 1-2 (2006)

Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro: Secure shared data-space coordination languages: A process algebraic survey. Sci. Comput. Program. 63(1): 3-15 (2006)

Riccardo Focardi, Gianluigi Zavattaro: Preface. Electr. Notes Theor. Comput. Sci. 128(5): 1-2 (2005)

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication primitives for secure protocol specifications. Future Generation Comp. Syst. 21(4): 645-653 (2005)

Riccardo Focardi: Guest editor's preface. Journal of Computer Security 13(3): 345- (2005)

Michele Bugliesi, Riccardo Focardi, Matteo Maffei: Analysis of Typed Analyses of Authentication Protocols. CSFW 2005: 112-125

Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld: Bridging Language-Based and Process Calculi Security. FoSSaCS 2005: 299-315

Riccardo Focardi, Matteo Maffei, Francesco Placella: Inferring authentication tags. WITS 2005: 41-49

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Nesting analysis of mobile ambients. Computer Languages, Systems & Structures 30(3-4): 207-230 (2004)

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Verifying persistent security properties. Computer Languages, Systems & Structures 30(3-4): 231-258 (2004)

Riccardo Focardi, Flaminia L. Luccio: A modular approach to Sprouts. Discrete Applied Mathematics 144(3): 303-319 (2004)

Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Unwinding in Information Flow Security. Electr. Notes Theor. Comput. Sci. 99: 127-154 (2004)

Riccardo Focardi, Matteo Maffei: The rho-spi Calculus at Work: Authentication Case Studies. Electr. Notes Theor. Comput. Sci. 99: 267-293 (2004)

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. Electr. Notes Theor. Comput. Sci. 99: 319-337 (2004)

Michele Bugliesi, Riccardo Focardi, Matteo Maffei: Authenticity by tagging and typing. FMSE 2004: 1-12

Michele Bugliesi, Riccardo Focardi, Matteo Maffei: Compositional Analysis of Authentication Protocols. ESOP 2004: 140-154

Riccardo Focardi: Static Analysis of Authentication. FOSAD 2004: 109-132

Riccardo Focardi, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures. Lecture Notes in Computer Science 2946, Springer 2004, isbn 3-540-20955-7

Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Information Leakage Detection in Boundary Ambients. Electr. Notes Theor. Comput. Sci. 78: 123-143 (2003)

Riccardo Focardi, Gianluigi Zavattaro: Preface. Electr. Notes Theor. Comput. Sci. 85(3): 142 (2003)

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Real-time information flow analysis. IEEE Journal on Selected Areas in Communications 21(1): 20-35 (2003)

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: A comparison of three authentication properties. Theor. Comput. Sci. 291(3): 285-327 (2003)

Michele Bugliesi, Riccardo Focardi, Matteo Maffei: Principles for Entity Authentication. Ershov Memorial Conference 2003: 294-306

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication Primitives for Protocol Specifications. PaCT 2003: 49-65

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Refinement Operators and Information Flow Security. SEFM 2003: 44-53

Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: BANANA - A Tool for Boundary Ambients Nesting ANAlysis. TACAS 2003: 437-441

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza: Complexity of Nesting Analysis in Mobile Ambients. VMCAI 2003: 86-101

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Bisimulation and Unwinding for Verifying Possibilistic Security Properties. VMCAI 2003: 223-237

Agostino Cortesi, Riccardo Focardi: Computer languages and security. Comput. Lang. 28(1): 1-2 (2002)

Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Security boundaries in mobile ambients. Comput. Lang. 28(1): 101-127 (2002)

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Primitives for authentication in process algebras. Theor. Comput. Sci. 283(2): 271-304 (2002)

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Transforming Processes to Check and Ensure Information Flow Security. AMAST 2002: 271-286

Riccardo Focardi, Sabina Rossi: Information Flow Security in Dynamic Contexts. CSFW 2002: 307-319

Chiara Braghin, Agostino Cortesi, Riccardo Focardi: Control Flow Analysis of Mobile Ambients with Security Boundaries. FMOODS 2002: 197-212

Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone: A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD 2002: 91-138

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Classification of Security Properties - Part II: Network Security. FOSAD 2002: 139-185

Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel: Boundary Inference for Enforcing Security Policies in Mobile Ambients. IFIP TCS 2002: 383-395

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: A Proof System for Information Flow Security. LOPSTR 2002: 199-218

Riccardo Focardi, Carla Piazza, Sabina Rossi: Proofs Methods for Bisimulation Based Information Flow Security. VMCAI 2002: 16-31

Agostino Cortesi, Riccardo Focardi: Information Flow Security in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 54: 58-68 (2001)

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Electr. Notes Theor. Comput. Sci. 62: 211-228 (2001)

Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Formal Models of Timing Attacks on Web Privacy. Electr. Notes Theor. Comput. Sci. 62: 229-243 (2001)

Antonio Durante, Riccardo Focardi, Roberto Gorrieri: CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. MMM-ACNS 2001: 287-299

Riccardo Focardi, Roberto Gorrieri (Eds.): Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000]. Lecture Notes in Computer Science 2171, Springer 2001, isbn 3-540-42896-8

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Secrecy in Security Protocols as Non Interference. Electr. Notes Theor. Comput. Sci. 32: 101-112 (2000)

Riccardo Focardi, Flaminia L. Luccio, David Peleg: Feedback vertex set in hypercubes. Inf. Process. Lett. 76(1-2): 1-5 (2000)

Antonio Durante, Riccardo Focardi, Roberto Gorrieri: A compiler for analyzing cryptographic protocols using noninterference. ACM Trans. Softw. Eng. Methodol. 9(4): 488-528 (2000)

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Message Authentication through Non Interference. AMAST 2000: 258-272

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Information Flow Analysis in a Discrete-Time Process Algebra. CSFW 2000: 170-184

Riccardo Focardi, Roberto Gorrieri: Classification of Security Properties (Part I: Information Flow). FOSAD 2000: 331-396

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Non Interference for the Analysis of Cryptographic Protocols. ICALP 2000: 354-372

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Authentication via Localized Names. CSFW 1999: 98-110

Antonio Durante, Riccardo Focardi, Roberto Gorrieri: CVS: A Compiler for the Analysis of Cryptographic Protocols. CSFW 1999: 203-212

Riccardo Focardi, Fabio Martinelli: A Uniform Approach for the Definition of Security Properties. World Congress on Formal Methods 1999: 794-813

Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows: Panel Introduction: Varieties of Authentication. CSFW 1998: 79-82

Riccardo Focardi, Roberto Gorrieri: The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties. IEEE Trans. Software Eng. 23(9): 550-571 (1997)

Riccardo Focardi: Comparing Two Information Flow Security Properties. CSFW 1996: 116-122

Riccardo Focardi, Roberto Gorrieri: Automatic Compositional Verification of Some Security Properties. TACAS 1996: 167-186

Riccardo Focardi, Roberto Gorrieri: A Taxonomy of Security Properties for Process Algebras. Journal of Computer Security 3(1): 5-34 (1995)

Riccardo Focardi, Roberto Gorrieri, V. Panini: The security checker: a semantics-based tool for the verification of security properties. CSFW 1995: 60-69

Riccardo Focardi, Roberto Gorrieri: A Taxonomy of Security Properties for CCS. CSFW 1994: 126-136