Riccardo Focardi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
31
Venues
23
Active years
1996–2026
Best venue rank
A*
Where they publish
- A*CCS4 papers
- BVMCAI3 papers
- A*WWW2 papers
- AESORICS2 papers
- ATACAS2 papers
- ADATE1 paper
- BAINA1 paper
- CICISSP1 paper
- A*SP1 paper
- A*NDSS1 paper
- ARAID1 paper
- AACSAC1 paper
- A*CRYPTO1 paper
- NationalFUN1 paper
- A*PLDI1 paper
- BFOSSACS1 paper
- A*POPL1 paper
- AESOP1 paper
- BPACT1 paper
- BSEFM1 paper
- CLOPSTR1 paper
- A*ICALP1 paper
- BFM1 paper
Papers
31 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | A Formally Verified Secure Caching Mechanism on TrustZone-enabled Microcontrollers. | Salvatore Bramante, Matteo Busi, Alessandro Cilardo, Riccardo Focardi, Flaminia L. Luccio, Stefano Mercogliano |
| 2025 | AINA | EUAS-GAN: Enhancing User Authentication on Smartphones Through GAN-Based Swiping Data Augmentation. | Attaullah Buriro, Flaminia L. Luccio, Riccardo Focardi |
| 2025 | WWW | Dynamic Security Analysis of JavaScript: Are We There Yet? | Stefano Calzavara, Samuele Casarin, Riccardo Focardi |
| 2022 | ESORICS | The Revenge of Password Crackers: Automated Training of Password Cracking Tools. | Alessia Michela Di Campi, Riccardo Focardi, Flaminia L. Luccio |
| 2022 | ICISSP | A Fast and Cost-effective Design for FPGA-based Fuzzy Rainbow Tradeoffs. | Leonardo Veronese, Francesco Palmarini, Riccardo Focardi, Flaminia L. Luccio |
| 2021 | CCS | A Formally Verified Configuration for Hardware Security Modules in the Cloud. | Riccardo Focardi, Flaminia L. Luccio |
| 2019 | SP | Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem. | Stefano Calzavara, Riccardo Focardi, Mats Nemec, Alvise Rabitti, Marco Squarcina |
| 2018 | NDSS | Mind Your Keys? A Security Evaluation of Java Keystores. | Riccardo Focardi, Francesco Palmarini, Marco Squarcina, Graham Steel, Mauro Tempesta |
| 2018 | WWW | Surviving the Web: A Journey into Web Session Security. | Stefano Calzavara, Riccardo Focardi, Marco Squarcina, Mauro Tempesta |
| 2016 | RAID | APDU-Level Attacks in PKCS#11 Devices. | Claudio Bozzato, Riccardo Focardi, Francesco Palmarini, Graham Steel |
| 2015 | ACSAC | Getting to know your Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit. | Andriana Gkaniatsou, Fiona McNeill, Alan Bundy, Graham Steel, Riccardo Focardi, Claudio Bozzato |
| 2012 | CRYPTO | Efficient Padding Oracle Attacks on Cryptographic Hardware. | Romain Bardou, Riccardo Focardi, Yusuke Kawamoto, Lorenzo Simionato, Graham Steel, Joe-Kai Tsay |
| 2010 | CCS | Attacking and fixing PKCS#11 security tokens. | Matteo Bortolozzo, Matteo Centenaro, Riccardo Focardi, Graham Steel |
| 2010 | FUN | Cracking Bank PINs by Playing Mastermind. | Riccardo Focardi, Flaminia L. Luccio |
| 2009 | ESORICS | Type-Based Analysis of PIN Processing APIs. | Matteo Centenaro, Riccardo Focardi, Flaminia L. Luccio, Graham Steel |
| 2008 | PLDI | Information flow security of multi-threaded distributed programs. | Riccardo Focardi, Matteo Centenaro |
| 2007 | CCS | A calculus of challenges and responses. | Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei |
| 2005 | FOSSACS | Bridging Language-Based and Process Calculi Security. | Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld |
| 2005 | POPL | Inferring authentication tags. | Riccardo Focardi, Matteo Maffei, Francesco Placella |
| 2004 | CCS | Authenticity by tagging and typing. | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
| 2004 | ESOP | Compositional Analysis of Authentication Protocols. | Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
| 2003 | PACT | Authentication Primitives for Protocol Specifications. | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
| 2003 | SEFM | Refinement Operators and Information Flow Security. | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2003 | TACAS | BANANA - A Tool for Boundary Ambients Nesting ANAlysis. | Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
| 2003 | VMCAI | Bisimulation and Unwinding for Verifying Possibilistic Security Properties. | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2003 | VMCAI | Complexity of Nesting Analysis in Mobile Ambients. | Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza |
| 2002 | LOPSTR | A Proof System for Information Flow Security. | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2002 | VMCAI | Proofs Methods for Bisimulation Based Information Flow Security. | Riccardo Focardi, Carla Piazza, Sabina Rossi |
| 2000 | ICALP | Non Interference for the Analysis of Cryptographic Protocols. | Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
| 1999 | FM | A Uniform Approach for the Definition of Security Properties. | Riccardo Focardi, Fabio Martinelli |
| 1996 | TACAS | Automatic Compositional Verification of Some Security Properties. | Riccardo Focardi, Roberto Gorrieri |