PMACS: An Environment for Parallel Programming. - B. Dehbonei; Christophe Laurent; Nadia Tawbi; R. S. Kulkarni (IPPS, 1991)

Processor allocation and loop scheduling on multiprocessor computers. - Nadia Tawbi; Paul Feautrier (ICS, 1992)

Estimation of Nested Loops Execution Time by Integer Arithmetic in Convex Polyhedra. - Nadia Tawbi (IPPS, 1994)

Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. - Ghassan Chehaibar; Hubert Garavel; Laurent Mounier; Nadia Tawbi; Ferruccio Zulian (FORTE, 1996)

A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs. - Mourad Debbabi; Ali Faour; Nadia Tawbi (Implementation of Functional Languages, 1996)

Formal Automatic Verification of Authentication Crytographic Protocols. - Mourad Debbabi; Mohamed Mejri; Nadia Tawbi; I. Yahmadi (ICFEM, 1997)

From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. - Mourad Debbabi; Mohamed Mejri; Nadia Tawbi; I. Yahmadi (WETICE, 1997)

Secure Self-Certified COTS. - Mourad Debbabi; E. Giasson; Béchir Ktari; Frédéric Michaud; Nadia Tawbi (WETICE, 2000)

Secure Self-certified Code for Java. - Mourad Debbabi; Josée Desharnais; M. Fourati; E. Menif; Frédéric Painchaud; Nadia Tawbi (FASec, 2002)

Method Call Acceleration in Embedded Java Virtual Machines. - Mourad Debbabi; M. M. Erhioui; Lamia Ketari; Nadia Tawbi; Hamdi Yahyaoui; Sami Zhioua (International Conference on Computational Science, 2003)

A dynamic compiler for embedded Java virtual machines. - Mourad Debbabi; Abdelouahed Gherbi; Lamia Ketari; Chamseddine Talhi; Nadia Tawbi; Hamdi Yahyaoui; Sami Zhioua (PPPJ, 2004)

Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors. - Mourad Debbabi; Azzam Mourad; Nadia Tawbi (SAC, 2005)

E-Bunny: A Dynamic Compiler for Embedded Java Virtual Machines. - Mourad Debbabi; Abdelouahed Gherbi; Lamia Ketari; Chamseddine Talhi; Hamdi Yahyaoui; Sami Zhioua; Nadia Tawbi (J. Object Technol., 2005)

Execution monitoring enforcement for limited-memory systems. - Chamseddine Talhi; Nadia Tawbi; Mourad Debbabi (PST, 2006)

A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL. - Hamdi Yahyaoui; Mourad Debbabi; Nadia Tawbi (QSIC, 2007)

Execution monitoring enforcement under memory-limitation constraints. - Chamseddine Talhi; Nadia Tawbi; Mourad Debbabi (Inf. Comput., 2008)

Generating In-Line Monitors for Rabin Automata. - Hugues Chabot; Raphaël Khoury; Nadia Tawbi (NordSec, 2009)

Corrective Enforcement of Security Policies. - Raphaël Khoury; Nadia Tawbi (Formal Aspects in Security and Trust, 2010)

Using Equivalence Relations for Corrective Enforcement of Security Policies. - Raphaël Khoury; Nadia Tawbi (MMM-ACNS, 2010)

Optimized Inlining of Runtime Monitors. - Frédérick Lemay; Raphaël Khoury; Nadia Tawbi (NordSec, 2011)

Extending the enforcement power of truncation monitors using static analysis. - Hugues Chabot; Raphaël Khoury; Nadia Tawbi (Comput. Secur., 2011)

Enforcing Information Flow Policies by a Three-Valued Analysis. - Josée Desharnais; Erwanne P. Kanyabwero; Nadia Tawbi (MMM-ACNS, 2012)

Which security policies are enforceable by runtime monitors? A survey. - Raphaël Khoury; Nadia Tawbi (Comput. Sci. Rev., 2012)

Corrective Enforcement: A New Paradigm of Security Policy Enforcement by Monitors. - Raphaël Khoury; Nadia Tawbi (ACM Trans. Inf. Syst. Secur., 2012)

Enforcing Information Flow by Combining Static and Dynamic Analysis. - Andrew Bedford; Josée Desharnais; Théophane G. Godonou; Nadia Tawbi (FPS, 2013)

Editorial. - Frédéric Cuppens; Nora Cuppens-Boulahia; Ernesto Damiani; Radu State; Joaquín García-Alfaro; Nadia Tawbi (J. Inf. Secur. Appl., 2013)

Fast and Effective Clustering of Spam Emails Based on Structural Similarity. - Mina Sheikhalishahi; Andrea Saracino; Mohamed Mejri; Nadia Tawbi; Fabio Martinelli (FPS, 2015)

Clustering Spam Emails into Campaigns. - Mina Sheikh Alishahi; Mohamed Mejri; Nadia Tawbi (ICISSP, 2015)

Digital Waste Sorting: A Goal-Based, Self-Learning Approach to Label Spam Email Campaigns. - Mina Sheikhalishahi; Andrea Saracino; Mohamed Mejri; Nadia Tawbi; Fabio Martinelli (STM, 2015)

Equivalence-preserving corrective enforcement of security properties. - Raphaël Khoury; Nadia Tawbi (Int. J. Inf. Comput. Secur., 2015)

Keynote I and Keynote II. - Hossam S. Hassanein; Nadia Tawbi (FNC/MobiSPC, 2016)

Andrana: Quick and Accurate Malware Detection for Android. - Andrew Bedford; Sébastien Garvin; Josée Desharnais; Nadia Tawbi; Hana Ajakan; Frédéric Audet; Bernard Lebel (FPS, 2016)

Privacy-Aware Data Sharing in a Tree-Based Categorical Clustering Algorithm. - Mina Sheikhalishahi; Mohamed Mejri; Nadia Tawbi; Fabio Martinelli (FPS, 2016)

On the Abstraction of a Categorical Clustering Algorithm. - Mina Sheikhalishahi; Mohamed Mejri; Nadia Tawbi (MLDM, 2016)

A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor. - Andrew Bedford; Stephen Chong; Josée Desharnais; Nadia Tawbi (SEC, 2016)

A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version). - Andrew Bedford; Stephen Chong; Josée Desharnais; Elisavet Kozyri; Nadia Tawbi (Comput. Secur., 2017)

Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement. - Elisavet Kozyri; Fred B. Schneider; Andrew Bedford; Josée Desharnais; Nadia Tawbi (CSF, 2019)

Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning. - Souad El Hatib; Loïc Ricaud; Josée Desharnais; Nadia Tawbi (CRiSIS, 2020)

Digital Waste Disposal: an automated framework for analysis of spam emails. - Mina Sheikhalishahi; Andrea Saracino; Fabio Martinelli; Antonio La Marra; Mohammed Mejri; Nadia Tawbi (Int. J. Inf. Sec., 2020)

Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models. - Simon Bertrand; Josée Desharnais; Nadia Tawbi (PST, 2023)

Leveraging Transformer Architecture for Effective Trajectory-User Linking (TUL) Attack and Its Mitigation. - Youcef Korichi; Josée Desharnais; Sébastien Gambs; Nadia Tawbi (ESORICS (4), 2024)

GRAND : Graph Reconstruction from potential partial Adjacency and Neighborhood Data. - Sofiane Azogagh; Zelma Aubin Birba; Josée Desharnais; Sébastien Gambs; Marc-Olivier Killijian; Nadia Tawbi (CoRR, 2024)

Information Flow Control for the Internet of Things. - Gildas Kouko; Josée Desharnais; Nadia Tawbi (IoTBDS, 2025)