Riccardo Focardi

145 papers A* 8A 20B 6C 2Misc 2Journal 41Unranked 57

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Automated Analysis of Key Management Policies. ITASEC/SERICS Matteo Busi, Riccardo Focardi, Sana Gul, Flaminia L. Luccio
2025	A*	`conf`	Dynamic Security Analysis of JavaScript: Are We There Yet? WWW Stefano Calzavara, Samuele Casarin, Riccardo Focardi
2025	—	`conf`	EUAS-GAN: Enhancing User Authentication on Smartphones Through GAN-Based Swiping Data Augmentation. AINA (3) Attaullah Buriro, Flaminia L. Luccio, Riccardo Focardi
2025	A	`conf`	Strands Rocq: Why is a Security Protocol Correct, Mechanically? CSF Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2025	J	`jnl`	Strands Rocq: Why is a Security Protocol Correct, Mechanically? CoRR Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2025	—	`conf`	Z-MDZS: Zero-day Malware Detection using Zero-Shot Machine Learning Schemes. CCNC Attaullah Buriro, Flaminia L. Luccio, Gabriele Costa, Riccardo Focardi
2024	A	`conf`	Bridging the Gap: Automated Analysis of Sancus. CSF Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2024	J	`jnl`	Bridging the Gap: Automated Analysis of Sancus. CoRR Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2023	Misc	`conf`	A Recipe for Cost-Effective Secure IoT: the Safe Place Project Case Study. CSR Francesco Palmarini, Leonardo Veronese, Matteo Busi, Riccardo Focardi, Flaminia L. Luccio
2023	J	`jnl`	Design and Implementation of Fast and Cost-Effective FPGA-Based Fuzzy Rainbow Tradeoffs. SN Comput. Sci. Leonardo Veronese, Francesco Palmarini, Riccardo Focardi, Flaminia L. Luccio
2022	C	`conf`	A Fast and Cost-effective Design for FPGA-based Fuzzy Rainbow Tradeoffs. ICISSP Leonardo Veronese, Francesco Palmarini, Riccardo Focardi, Flaminia L. Luccio
2022	—	`conf`	The Revenge of Password Crackers: Automated Training of Password Cracking Tools. ESORICS (2) Alessia Michela Di Campi, Riccardo Focardi, Flaminia L. Luccio
2021	A*	`conf`	A Formally Verified Configuration for Hardware Security Modules in the Cloud. CCS Riccardo Focardi, Flaminia L. Luccio
2021	J	`jnl`	A Formally Verified Configuration for Hardware Security Modules in the Cloud. CoRR Riccardo Focardi, Flaminia L. Luccio
2021	J	`jnl`	FWS: Analyzing, maintaining and transcompiling firewalls. J. Comput. Secur. Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese
2021	—	`conf`	Firmware Extraction from Real IoT Devices through Power Analysis of AES. ITASEC Francesco Benvenuto, Francesco Palmarini, Riccardo Focardi, Flaminia L. Luccio
2021	—	`conf`	Secure Key Management Policies in Strand Spaces. Protocols, Strands, and Logic Riccardo Focardi, Flaminia L. Luccio
2020	—	`conf`	A Hard Lesson: Assessing the HTTPS Deployment of Italian University Websites. ITASEC Stefano Calzavara, Riccardo Focardi, Alvise Rabitti, Lorenzo Soligo
2020	A	`conf`	Automated Analysis of PUF-based Protocols. CSF Riccardo Focardi, Flaminia L. Luccio
2020	A	`conf`	Language-Based Web Session Integrity. CSF Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta
2020	J	`jnl`	Language-Based Web Session Integrity. CoRR Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta
2020	J	`jnl`	Machine Learning for Web Vulnerability Detection: The Case of Cross-Site Request Forgery. IEEE Secur. Priv. Stefano Calzavara, Mauro Conti, Riccardo Focardi, Alvise Rabitti, Gabriele Tolomei
2019	J	`jnl`	Gathering of robots in a ring with mobile faults. Theor. Comput. Sci. Shantanu Das, Riccardo Focardi, Flaminia L. Luccio, Euripides Markou, Marco Squarcina
2019	A	`conf`	Mitch: A Machine Learning Approach to the Black-Box Detection of CSRF Vulnerabilities. EuroS&P Stefano Calzavara, Mauro Conti, Riccardo Focardi, Alvise Rabitti, Gabriele Tolomei
2019	A*	`conf`	Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem. IEEE Symposium on Security and Privacy Stefano Calzavara, Riccardo Focardi, Matús Nemec, Alvise Rabitti, Marco Squarcina
2019	J	`jnl`	Shaping the Glitch: Optimizing Voltage Fault Injection Attacks. IACR Trans. Cryptogr. Hardw. Embed. Syst. Claudio Bozzato, Riccardo Focardi, Francesco Palmarini
2019	J	`jnl`	Usable security for QR code. J. Inf. Secur. Appl. Riccardo Focardi, Flaminia L. Luccio, Heider A. M. Wahsheh
2018	—	`conf`	Firewall Management With FireWall Synthesizer. ITASEC Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese
2018	A	`conf`	Language-Independent Synthesis of Firewall Policies. EuroS&P Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, Lorenzo Veronese
2018	A*	`conf`	Mind Your Keys? A Security Evaluation of Java Keystores. NDSS Riccardo Focardi, Francesco Palmarini, Marco Squarcina, Graham Steel, Mauro Tempesta
2018	—	`conf`	Neural Cryptanalysis of Classical Ciphers. ICTCS Riccardo Focardi, Flaminia L. Luccio
2018	—	`ch.`	Security Threats and Solutions for Two-Dimensional Barcodes: A Comparative Study. Computer and Network Security Essentials Riccardo Focardi, Flaminia L. Luccio, Heider A. M. Wahsheh
2018	—	`conf`	Surviving the Web: A Journey into Web Session Security. WWW (Companion Volume) Stefano Calzavara, Riccardo Focardi, Marco Squarcina, Mauro Tempesta
2018	—	`conf`	Transcompiling Firewalls. POST Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta
2018	—	`conf`	Usable cryptographic QR codes. ICIT Riccardo Focardi, Flaminia L. Luccio, Heider A. M. Wahsheh
2018	A*	`conf`	WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring. USENIX Security Symposium Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
2018	J	`jnl`	WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring. CoRR Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
2017	J	`jnl`	Formal methods for web security. J. Log. Algebraic Methods Program. Michele Bugliesi, Stefano Calzavara, Riccardo Focardi
2017	—	`ed.`	Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), Venice, Italy, January 17-20, 2017. ITASEC Alessandro Armando, Roberto Baldoni, Riccardo Focardi
2017	A	`conf`	Run-Time Attack Detection in Cryptographic APIs. CSF Riccardo Focardi, Marco Squarcina
2017	J	`jnl`	Surviving the Web: A Journey into Web Session Security. ACM Comput. Surv. Stefano Calzavara, Riccardo Focardi, Marco Squarcina, Mauro Tempesta
2016	A	`conf`	APDU-Level Attacks in PKCS#11 Devices. RAID Claudio Bozzato, Riccardo Focardi, Francesco Palmarini, Graham Steel
2016	—	`conf`	Gathering of Robots in a Ring with Mobile Faults. ICTCS Shantanu Das, Riccardo Focardi, Flaminia L. Luccio, Euripides Markou, Davide Moro, Marco Squarcina
2016	A	`conf`	Localizing Firewall Security Policies. CSF Pedro Adão, Riccardo Focardi, Joshua D. Guttman, Flaminia L. Luccio
2016	A	`conf`	Micro-policies for Web Session Security. CSF Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei
2015	J	`jnl`	CookiExt: Patching the browser against session hijacking attacks. J. Comput. Secur. Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan
2015	A	`conf`	Getting to know your Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit. ACSAC Andriana Gkaniatsou, Fiona McNeill, Alan Bundy, Graham Steel, Riccardo Focardi, Claudio Bozzato
2015	—	`ed.`	Principles of Security and Trust - 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings POST Riccardo Focardi, Andrew C. Myers
2015	—	`conf`	Static Evidences for Attack Reconstruction. Programming Languages with Applications to Biology and Security Chiara Bodei, Linda Brodo, Riccardo Focardi
2014	—	`conf`	Automatic and Robust Client-Side Protection for Cookie-Based Sessions. ESSoS Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan
2014	A	`conf`	Mignis: A Semantic Based Tool for Firewall Configuration. CSF Pedro Adão, Claudio Bozzato, G. Dei Rossi, Riccardo Focardi, Flaminia L. Luccio
2014	A	`conf`	Provably Sound Browser-Based Enforcement of Web Session Integrity. CSF Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan, Mauro Tempesta
2013	J	`jnl`	Type-Based Analysis of Generic Key Management APIs (Long Version). IACR Cryptol. ePrint Arch. Pedro Adão, Riccardo Focardi, Flaminia L. Luccio
2013	A	`conf`	Type-Based Analysis of Generic Key Management APIs. CSF Pedro Adão, Riccardo Focardi, Flaminia L. Luccio
2013	J	`jnl`	Type-based analysis of key management in PKCS#11 cryptographic devices. J. Comput. Secur. Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio
2012	J	`jnl`	Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl Reports Mike Bond, Riccardo Focardi, Sibylle B. Fröschle, Graham Steel
2012	A*	`conf`	Efficient Padding Oracle Attacks on Cryptographic Hardware. CRYPTO Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay
2012	J	`jnl`	Efficient Padding Oracle Attacks on Cryptographic Hardware. IACR Cryptol. ePrint Arch. Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay
2012	A	`conf`	Gran: Model Checking Grsecurity RBAC Policies. CSF Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Marco Squarcina
2012	J	`jnl`	Guessing Bank PINs by Winning a Mastermind Game. Theory Comput. Syst. Riccardo Focardi, Flaminia L. Luccio
2012	—	`conf`	Type-Based Analysis of PKCS#11 Key Management. POST Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio
2011	—	`conf`	An Introduction to Security API Analysis. FOSAD Riccardo Focardi, Flaminia L. Luccio, Graham Steel
2011	—	`conf`	Secure Recharge of Disposable RFID Tickets. Formal Aspects in Security and Trust Riccardo Focardi, Flaminia L. Luccio
2011	—	`ch.`	Types for Security Protocols. Formal Models and Techniques for Analyzing Security Protocols Riccardo Focardi, Matteo Maffei
2010	A*	`conf`	Attacking and fixing PKCS#11 security tokens. CCS Matteo Bortolozzo, Matteo Centenaro, Riccardo Focardi, Graham Steel
2010	J	`jnl`	Channel abstractions for network security. Math. Struct. Comput. Sci. Michele Bugliesi, Riccardo Focardi
2010	Misc	`conf`	Cracking Bank PINs by Playing Mastermind. FUN Riccardo Focardi, Flaminia L. Luccio
2010	J	`jnl`	Editorial. J. Comput. Secur. Riccardo Focardi
2010	—	`conf`	Formal Analysis of Key Integrity in PKCS#11. ARSPA-WITS Andrea Falcone, Riccardo Focardi
2010	—	`conf`	Match It or Die: Proving Integrity by Equality. ARSPA-WITS Matteo Centenaro, Riccardo Focardi
2010	—	`conf`	Secure Upgrade of Hardware Security Modules in Bank Networks. ARSPA-WITS Riccardo Focardi, Flaminia L. Luccio
2009	—	`conf`	Blunting Differential Attacks on PIN Processing APIs. NordSec Riccardo Focardi, Flaminia L. Luccio, Graham Steel
2009	A	`conf`	Type-Based Analysis of PIN Processing APIs. ESORICS Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel
2008	J	`jnl`	Information flow security in Boundary Ambients. Inf. Comput. Chiara Braghin, Agostino Cortesi, Riccardo Focardi
2008	—	`conf`	Information flow security of multi-threaded distributed programs. PLAS Riccardo Focardi, Matteo Centenaro
2008	A	`conf`	Language Based Secure Communication. CSF Michele Bugliesi, Riccardo Focardi
2008	—	`conf`	Security Abstractions and Intruder Models (Extended Abstract). EXPRESS Michele Bugliesi, Riccardo Focardi
2007	—	`conf`	A calculus of challenges and responses. FMSE Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei
2007	J	`jnl`	Dynamic types for authentication. J. Comput. Secur. Michele Bugliesi, Riccardo Focardi, Matteo Maffei
2006	J	`jnl`	Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems. Sci. Comput. Program. Riccardo Focardi, Gianluigi Zavattaro
2006	J	`jnl`	Information flow security in dynamic contexts. J. Comput. Secur. Riccardo Focardi, Sabina Rossi
2006	J	`jnl`	Preface. J. Comput. Secur. Riccardo Focardi
2006	J	`jnl`	Secure shared data-space coordination languages: A process algebraic survey. Sci. Comput. Program. Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro
2005	—	`conf`	Analysis of Typed Analyses of Authentication Protocols. CSFW Michele Bugliesi, Riccardo Focardi, Matteo Maffei
2005	J	`jnl`	Authentication primitives for secure protocol specifications. Future Gener. Comput. Syst. Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
2005	B	`conf`	Bridging Language-Based and Process Calculi Security. FoSSaCS Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld
2005	J	`jnl`	Guest editor's preface. J. Comput. Secur. Riccardo Focardi
2005	—	`conf`	Inferring authentication tags. WITS Riccardo Focardi, Matteo Maffei, Francesco Placella
2005	—	`ed.`	Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004 SecCo Riccardo Focardi, Gianluigi Zavattaro
2004	J	`jnl`	A modular approach to Sprouts. Discret. Appl. Math. Riccardo Focardi, Flaminia L. Luccio
2004	—	`conf`	Authenticity by tagging and typing. FMSE Michele Bugliesi, Riccardo Focardi, Matteo Maffei
2004	A	`conf`	Compositional Analysis of Authentication Protocols. ESOP Michele Bugliesi, Riccardo Focardi, Matteo Maffei
2004	—	`ed.`	Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures FOSAD Riccardo Focardi, Roberto Gorrieri
2004	J	`jnl`	Nesting analysis of mobile ambients. Comput. Lang. Syst. Struct. Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2004	—	`conf`	Preface. SecCo Riccardo Focardi, Gianluigi Zavattaro
2004	—	`conf`	Static Analysis of Authentication. FOSAD Riccardo Focardi
2004	J	`jnl`	Verifying persistent security properties. Comput. Lang. Syst. Struct. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2003	—	`ed.`	2nd EATCS Workshop on Foundations of Global Computing, FGC 2003, Satellite Event of ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003 FGC Riccardo Focardi, Gianluigi Zavattaro
2003	J	`jnl`	A comparison of three authentication properties. Theor. Comput. Sci. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2003	B	`conf`	Authentication Primitives for Protocol Specifications. PaCT Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
2003	A	`conf`	BANANA - A Tool for Boundary Ambients Nesting ANAlysis. TACAS Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2003	—	`conf`	Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients. MEFISTO Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2003	B	`conf`	Bisimulation and Unwinding for Verifying Possibilistic Security Properties. VMCAI Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2003	B	`conf`	Complexity of Nesting Analysis in Mobile Ambients. VMCAI Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza
2003	—	`ed.`	First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003 SecCo Riccardo Focardi, Gianluigi Zavattaro
2003	—	`conf`	Information Leakage Detection in Boundary Ambients. CATS Chiara Braghin, Agostino Cortesi, Riccardo Focardi
2003	—	`conf`	Preface. SecCo Riccardo Focardi, Gianluigi Zavattaro
2003	—	`conf`	Principles for Entity Authentication. Ershov Memorial Conference Michele Bugliesi, Riccardo Focardi, Matteo Maffei
2003	J	`jnl`	Real-time information flow analysis. IEEE J. Sel. Areas Commun. Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2003	B	`conf`	Refinement Operators and Information Flow Security. SEFM Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2003	—	`conf`	The rho-spi Calculus at Work: Authentication Case Studies. MEFISTO Riccardo Focardi, Matteo Maffei
2003	—	`conf`	Unwinding in Information Flow Security. MEFISTO Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi
2002	C	`conf`	A Proof System for Information Flow Security. LOPSTR Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2002	—	`conf`	A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone
2002	—	`conf`	Boundary Inference for Enforcing Security Policies in Mobile Ambients. IFIP TCS Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel
2002	—	`conf`	Classification of Security Properties - Part II: Network Security. FOSAD Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2002	J	`jnl`	Computer languages and security. Comput. Lang. Syst. Struct. Agostino Cortesi, Riccardo Focardi
2002	—	`conf`	Control Flow Analysis of Mobile Ambients with Security Boundaries. FMOODS Chiara Braghin, Agostino Cortesi, Riccardo Focardi
2002	—	`conf`	Information Flow Security in Dynamic Contexts. CSFW Riccardo Focardi, Sabina Rossi
2002	J	`jnl`	Primitives for authentication in process algebras. Theor. Comput. Sci. Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
2002	B	`conf`	Proofs Methods for Bisimulation Based Information Flow Security. VMCAI Riccardo Focardi, Carla Piazza, Sabina Rossi
2002	J	`jnl`	Security boundaries in mobile ambients. Comput. Lang. Syst. Struct. Chiara Braghin, Agostino Cortesi, Riccardo Focardi
2002	—	`conf`	Transforming Processes to Check and Ensure Information Flow Security. AMAST Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2001	—	`conf`	CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. MMM-ACNS Antonio Durante, Riccardo Focardi, Roberto Gorrieri
2001	—	`conf`	Formal Models of Timing Attacks on Web Privacy. TOSCA Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
2001	—	`ed.`	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] FOSAD Riccardo Focardi, Roberto Gorrieri
2001	—	`conf`	Information Flow Security in Mobile Ambients. ConCoord Agostino Cortesi, Riccardo Focardi
2001	—	`conf`	Techniques for Security Checking: Non-Interference vs Control Flow Analysis. TOSCA Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2000	J	`jnl`	A compiler for analyzing cryptographic protocols using noninterference. ACM Trans. Softw. Eng. Methodol. Antonio Durante, Riccardo Focardi, Roberto Gorrieri
2000	—	`conf`	Classification of Security Properties (Part I: Information Flow). FOSAD Riccardo Focardi, Roberto Gorrieri
2000	J	`jnl`	Feedback vertex set in hypercubes. Inf. Process. Lett. Riccardo Focardi, Flaminia L. Luccio, David Peleg
2000	—	`conf`	Information Flow Analysis in a Discrete-Time Process Algebra. CSFW Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2000	—	`conf`	Message Authentication through Non Interference. AMAST Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
2000	A*	`conf`	Non Interference for the Analysis of Cryptographic Protocols. ICALP Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
1999	—	`conf`	A Uniform Approach for the Definition of Security Properties. World Congress on Formal Methods Riccardo Focardi, Fabio Martinelli
1999	—	`conf`	Authentication via Localized Names. CSFW Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
1999	—	`conf`	CVS: A Compiler for the Analysis of Cryptographic Protocols. CSFW Antonio Durante, Riccardo Focardi, Roberto Gorrieri
1999	—	`conf`	Secrecy in Security Protocols as Non Interference. Workshop on Secure Architectures and Information Flow Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
1998	—	`conf`	Panel Introduction: Varieties of Authentication. CSFW Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows
1997	J	`jnl`	The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties. IEEE Trans. Software Eng. Riccardo Focardi, Roberto Gorrieri
1996	A	`conf`	Automatic Compositional Verification of Some Security Properties. TACAS Riccardo Focardi, Roberto Gorrieri
1996	—	`conf`	Comparing Two Information Flow Security Properties. CSFW Riccardo Focardi
1995	J	`jnl`	A Taxonomy of Security Properties for Process Algebras. J. Comput. Secur. Riccardo Focardi, Roberto Gorrieri
1995	—	`conf`	The security checker: a semantics-based tool for the verification of security properties. CSFW Riccardo Focardi, Roberto Gorrieri, V. Panini
1994	—	`conf`	A Taxonomy of Security Properties for CCS. CSFW Riccardo Focardi, Roberto Gorrieri