| 2025 | ESORICS | Privacy-Preserving Trajectory Data Publication Via Differentially-Private Representation Learning. | Youcef Korichi, Jose Desharnais, Sbastien Gambs, Nadia Tawbi |
| 2025 | KDD | GRAND : Graph Reconstruction from Potential Partial Adjacency and Neighborhood Data. | Sofiane Azogagh, Zelma Aubin Birba, Jose Desharnais, Sbastien Gambs, Marc-Olivier Killijian, Nadia Tawbi |
| 2024 | ESORICS | Leveraging Transformer Architecture for Effective Trajectory-User Linking (TUL) Attack and Its Mitigation. | Youcef Korichi, Jose Desharnais, Sbastien Gambs, Nadia Tawbi |
| 2023 | PST | Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models. | Simon Bertrand, Jose Desharnais, Nadia Tawbi |
| 2020 | CRiSIS | Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning. | Souad El Hatib, Loc Ricaud, Jose Desharnais, Nadia Tawbi |
| 2016 | FNC | Keynote I and Keynote II. | Hossam S. Hassanein, Nadia Tawbi |
| 2016 | SEC | A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor. | Andrew Bedford, Stephen Chong, Jose Desharnais, Nadia Tawbi |
| 2015 | ICISSP | Clustering Spam Emails into Campaigns. | Mina Sheikh Alishahi, Mohamed Mejri, Nadia Tawbi |
| 2006 | PST | Execution monitoring enforcement for limited-memory systems. | Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi |
| 2005 | SAC | Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors. | Mourad Debbabi, Azzam Mourad, Nadia Tawbi |
| 2003 | ICCS | Method Call Acceleration in Embedded Java Virtual Machines. | Mourad Debbabi, M. M. Erhioui, Lamia Ketari, Nadia Tawbi, Hamdi Yahyaoui, Sami Zhioua |
| 2000 | WETICE | Secure Self-Certified COTS. | Mourad Debbabi, E. Giasson, Bchir Ktari, Frdric Michaud, Nadia Tawbi |
| 1997 | ICFEM | Formal Automatic Verification of Authentication Crytographic Protocols. | Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi |
| 1997 | WETICE | From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. | Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi |
| 1996 | FORTE | Specification and Verification of the PowerScale | Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian |
| 1992 | ICS | Processor allocation and loop scheduling on multiprocessor computers. | Nadia Tawbi, Paul Feautrier |