| 2014 | ACNS | Certified Bitcoins. | Giuseppe Ateniese, Antonio Faonio, Bernardo Magri, Breno de Medeiros |
| 2009 | SP | Password Cracking Using Probabilistic Context-Free Grammars. | Matt Weir, Sudhir Aggarwal, Breno de Medeiros, Bill Glodek |
| 2008 | ACNS | The Security of EPC Gen2 Compliant RFID Protocols. | Mike Burmester, Breno de Medeiros |
| 2008 | CARDIS | Provably Secure Grouping-Proofs for RFID Tags. | Mike Burmester, Breno de Medeiros, Rossana Motta |
| 2008 | CCS | Robust, anonymous RFID authentication with constant key-lookup. | Mike Burmester, Breno de Medeiros, Rossana Motta |
| 2007 | CCS | Universally composable and forward-secure RFID authentication and authenticated key exchange. | Tri Van Le, Mike Burmester, Breno de Medeiros |
| 2006 | ACISP | Towards Provable Security for Ubiquitous Applications. | Mike Burmester, Tri Van Le, Breno de Medeiros |
| 2006 | SecureComm | Provably Secure Ubiquitous Systems: Universally Composable RFID Authentication Protocols. | Mike Burmester, Tri Van Le, Breno de Medeiros |
| 2005 | CCS | Untraceable RFID tags via insubvertible encryption. | Giuseppe Ateniese, Jan Camenisch, Breno de Medeiros |
| 2005 | ESORICS | Sanitizable Signatures. | Giuseppe Ateniese, Daniel H. Chou, Breno de Medeiros, Gene Tsudik |
| 2004 | FC | Identity-Based Chameleon Hash and Applications. | Giuseppe Ateniese, Breno de Medeiros |
| 2004 | SCN | On the Key Exposure Problem in Chameleon Hashes. | Giuseppe Ateniese, Breno de Medeiros |
| 2003 | ASIACRYPT | Efficient Group Signatures without Trapdoors. | Giuseppe Ateniese, Breno de Medeiros |
| 2002 | SCN | Medical Information Privacy Assurance: Cryptographic and System Aspects. | Giuseppe Ateniese, Reza Curtmola, Breno de Medeiros, Darren Davis |
| 2001 | NDSS | TRICERT: A Distributed Certified E-Mail Scheme. | Giuseppe Ateniese, Breno de Medeiros, Michael T. Goodrich |