| 2017 | ICISSP | Tracking Dependent Information Flows. | Zeineb Zhioua, Yves Roudier, Raba Ameur-Boulifa, Takoua Kechiche, Stuart Short |
| 2017 | PRDC | Formal Specification and Verification of Security Guidelines. | Zeineb Zhioua, Yves Roudier, Raba Ameur-Boulifa |
| 2017 | TASE | Formal specification of security guidelines for program certification. | Zeineb Zhioua, Yves Roudier, Raba Ameur-Boulifa |
| 2016 | RE | Security Guidelines: Requirements Engineering for Verifying Code Quality. | Zeineb Zhioua, Yves Roudier, Stuart Short, Raba Ameur-Boulifa |
| 2015 | MODELSWARD | Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec. | Ludovic Apvrille, Yves Roudier |
| 2015 | MODELSWARD | SysML-Sec - A Model Driven Approach for Designing Safe and Secure Systems. | Yves Roudier, Ludovic Apvrille |
| 2014 | COMPSAC | Static Code Analysis for Software Security Verification: Problems and Approaches. | Zeineb Zhioua, Stuart Short, Yves Roudier |
| 2014 | TrustBus | A Quantitative Analysis of Common Criteria Certification Practice. | Samuel Paul Kaluvuri, Michele Bezzi, Yves Roudier |
| 2014 | UCC | A Cloud Adoption Risk Assessment Model. | Erdal Cayirci, Alexandr Garaga, Anderson Santana, Yves Roudier |
| 2013 | ESORICS | Reference Monitors for Security and Interoperability in OAuth 2.0. | Ronan-Alexandre Cherrueau, Rmi Douence, Jean-Claude Royer, Mario Sdholt, Anderson Santana de Oliveira, Yves Roudier, Matteo Dell'Amico |
| 2013 | RE | Towards the model-driven engineering of security requirements for embedded systems. | Yves Roudier, Muhammad Sabir Idrees, Ludovic Apvrille |
| 2013 | SERVICES | Bringing Common Criteria Certification to Web Services. | Samuel Paul Kaluvuri, Michele Bezzi, Yves Roudier |
| 2012 | ICWS | Enabling Message Security for RESTful Services. | Gabriel Serme, Anderson Santana de Oliveira, Julien Massiera, Yves Roudier |
| 2012 | WISTP | HiPoLDS: A Security Policy Language for Distributed Systems. | Matteo Dell'Amico, Gabriel Serme, Muhammad Sabir Idrees, Anderson Santana de Oliveira, Yves Roudier |
| 2011 | ESORICS | Evolving Security Requirements in Multi-layered Service-Oriented-Architectures. | Muhammad Sabir Idrees, Gabriel Serme, Yves Roudier, Anderson Santana de Oliveira, Herv Grall, Mario Sdholt |
| 2011 | VTC | A Formal Methodology Applied to Secure Over-the-Air Automotive Applications. | Gabriel Pedroza, Muhammad Sabir Idrees, Ludovic Apvrille, Yves Roudier |
| 2011 | VTC | Car2X Communication: Securing the Last Meter - A Cost-Effective Approach for Ensuring Trust in Car2X Applications Using In-Vehicle Symmetric Cryptography. | Hendrik Schweppe, Yves Roudier, Benjamin Weyl, Ludovic Apvrille, Dirk Scheuermann |
| 2010 | ESORICS | Securing P2P Storage with a Self-organizing Payment Scheme. | Nouha Oualha, Yves Roudier |
| 2010 | INFOCOM | Password Strength: An Empirical Analysis. | Matteo Dell'Amico, Pietro Michiardi, Yves Roudier |
| 2009 | ICIW | A Secure Comparison Technique for Tree Structured Data. | Mohammad Ashiqur Rahaman, Yves Roudier, Andreas Schaad |
| 2009 | WETICE | A Game Theoretical Approach in Securing P2P Storage against Whitewashers. | Nouha Oualha, Yves Roudier |
| 2009 | SEC | Ontology-Based Secure XML Content Distribution. | Mohammad Ashiqur Rahaman, Yves Roudier, Philip Miseldine, Andreas Schaad |
| 2009 | SERVICES | Document-Based Dynamic Workflows: Towards Flexible and Stateful Services. | Mohammad Ashiqur Rahaman, Yves Roudier, Andreas Schaad |
| 2008 | EDOC | Distributed Access Control For XML Document Centric Collaborations. | Mohammad Ashiqur Rahaman, Yves Roudier, Andreas Schaad |
| 2008 | EUC | On the Impact of DoS Attacks on Secure Service Discovery. | Slim Trabelsi, Guillaume Urvoy-Keller, Yves Roudier |
| 2008 | SEC | A Security Protocol for Self-Organizing Data Storage. | Nouha Oualha, Melek nen, Yves Roudier |
| 2008 | SecureComm | Reputation and Audits for Self-Organizing Storage. | Nouha Oualha, Yves Roudier |
| 2007 | AINA | Context-Aware Security Policy for the Service Discovery. | Slim Trabelsi, Laurent Gomez, Yves Roudier |
| 2007 | WoWMoM | A Game Theoretic Model of a Protocol for Data Possession Verification. | Nouha Oualha, Pietro Michiardi, Yves Roudier |
| 2007 | SECRYPT | Secure Service Publishing with Untrusted Registries - Securing Service Discovery. | Slim Trabelsi, Yves Roudier |
| 2004 | Middleware | Collaborative backup for dependable mobile applications. | Marc-Olivier Killijian, David Powell, Michel Bantre, Paul Couderc, Yves Roudier |
| 2004 | PERCOM | Untraceable Secret Credentials: Trust Establishment with Privacy. | Laurent Bussard, Yves Roudier, Refik Molva |
| 2002 | CARDIS | Extending Tamper-Proof Hardware Security to Untrusted Execution Environments. | Sergio Loureiro, Laurent Bussard, Yves Roudier |
| 2000 | ESORICS | A Distributed Access Control Model for Java. | Refik Molva, Yves Roudier |