| 2016 | FM | SpecCert: Specifying and Verifying Hardware-Based Security Enforcement. | Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Nron, Benjamin Morin |
| 2013 | CRiSIS | Parsifal: Writing efficient and robust binary parsers, quickly. | Olivier Levillain, Herv Debar, Benjamin Morin |
| 2012 | ACSAC | One year of SSL internet measurement. | Olivier Levillain, Arnaud balard, Benjamin Morin, Herv Debar |
| 2011 | RAID | What If You Can't Trust Your Network Card? | Loc Duflot, Yves-Alexis Perez, Benjamin Morin |
| 2008 | CRiSIS | Policy-based intrusion detection in Web applications by monitoring Java information flows. | Guillaume Hiet, Valrie Viet Triem Tong, Ludovic M, Benjamin Morin |
| 2008 | ICICS | Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study. | Mehdi Talbi, Benjamin Morin, Valrie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri |
| 2005 | ICIAP | Conceptual Analysis of Intrusion Alarms. | Benjamin Morin, Herv Debar |
| 2003 | RAID | Correlation of Intrusion Symptoms: An Application of Chronicles. | Benjamin Morin, Herv Debar |
| 2002 | RAID | Evaluation of the Diagnostic Capabilities of Commercial Intrusion Detection Systems. | Herv Debar, Benjamin Morin |
| 2002 | RAID | M2D2: A Formal Data Model for IDS Alert Correlation. | Benjamin Morin, Ludovic M, Herv Debar, Mireille Ducass |
| 2000 | RAID | Flexible Intrusion Detection Using Variable-Length Behavior Modeling in Distributed Environment: Application to CORBA Objects. | Zakia Marrakchi, Ludovic M, Bernard Vivinis, Benjamin Morin |