Nadia Tawbi

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 11

Top Topics

Information Flow

Structural Similarity

Top Venues

Publications

Simon Bertrand, Josée Desharnais, Nadia Tawbi
Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models. PST (2023)
Simon Bertrand, Nadia Tawbi, Josée Desharnais
Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models. CoRR (2022)
Souad El Hatib, Loïc Ricaud, Josée Desharnais, Nadia Tawbi
Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning. CRiSIS (2020)
Mina Sheikhalishahi, Andrea Saracino, Fabio Martinelli, Antonio La Marra, Mohammed Mejri, Nadia Tawbi
Digital Waste Disposal: an automated framework for analysis of spam emails. Int. J. Inf. Sec. 19 (5) (2020)
Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi
Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement. CSF (2019)
Andrew Bedford, Stephen Chong, Josée Desharnais, Elisavet Kozyri, Nadia Tawbi
A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version). Comput. Secur. 71 (2017)
Hossam S. Hassanein, Nadia Tawbi
Keynote I and Keynote II. FNC/MobiSPC (2016)
Andrew Bedford, Sébastien Garvin, Josée Desharnais, Nadia Tawbi, Hana Ajakan, Frédéric Audet, Bernard Lebel
Andrana: Quick and Accurate Malware Detection for Android. FPS (2016)
Mina Sheikhalishahi, Mohamed Mejri, Nadia Tawbi
On the Abstraction of a Categorical Clustering Algorithm. MLDM (2016)
Andrew Bedford, Stephen Chong, Josée Desharnais, Nadia Tawbi
A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor. SEC (2016)
Mina Sheikhalishahi, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
Privacy-Aware Data Sharing in a Tree-Based Categorical Clustering Algorithm. FPS (2016)
Mina Sheikhalishahi, Andrea Saracino, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
Fast and Effective Clustering of Spam Emails Based on Structural Similarity. FPS (2015)
Mina Sheikh Alishahi, Mohamed Mejri, Nadia Tawbi
Clustering Spam Emails into Campaigns. ICISSP (2015)
Raphaël Khoury, Nadia Tawbi
Equivalence-preserving corrective enforcement of security properties. Int. J. Inf. Comput. Secur. 7 (2/3/4) (2015)
Mina Sheikhalishahi, Andrea Saracino, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
Digital Waste Sorting: A Goal-Based, Self-Learning Approach to Label Spam Email Campaigns. STM (2015)
Andrew Bedford, Josée Desharnais, Théophane G. Godonou, Nadia Tawbi
Enforcing Information Flow by Combining Static and Dynamic Analysis. FPS (2013)
Frédéric Cuppens, Nora Cuppens-Boulahia, Ernesto Damiani, Radu State, Joaquín García-Alfaro, Nadia Tawbi
Editorial. J. Inf. Secur. Appl. 18 (1) (2013)
Raphaël Khoury, Nadia Tawbi
Corrective Enforcement: A New Paradigm of Security Policy Enforcement by Monitors. ACM Trans. Inf. Syst. Secur. 15 (2) (2012)
Raphaël Khoury, Nadia Tawbi
Which security policies are enforceable by runtime monitors? A survey. Comput. Sci. Rev. 6 (1) (2012)
Josée Desharnais, Erwanne P. Kanyabwero, Nadia Tawbi
Enforcing Information Flow Policies by a Three-Valued Analysis. MMM-ACNS (2012)
Hugues Chabot, Raphaël Khoury, Nadia Tawbi
Extending the enforcement power of truncation monitors using static analysis. Comput. Secur. 30 (4) (2011)
Frédérick Lemay, Raphaël Khoury, Nadia Tawbi
Optimized Inlining of Runtime Monitors. NordSec (2011)
Raphaël Khoury, Nadia Tawbi
Using Equivalence Relations for Corrective Enforcement of Security Policies. MMM-ACNS (2010)
Raphaël Khoury, Nadia Tawbi
Corrective Enforcement of Security Policies. Formal Aspects in Security and Trust (2010)
Hugues Chabot, Raphaël Khoury, Nadia Tawbi
Generating In-Line Monitors for Rabin Automata. NordSec (2009)
Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi
Execution monitoring enforcement under memory-limitation constraints. Inf. Comput. 206 (2-4) (2008)
Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi
A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL. QSIC (2007)
Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi
Execution monitoring enforcement for limited-memory systems. PST (2006)
Mourad Debbabi, Azzam Mourad, Nadia Tawbi
Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors. SAC (2005)
Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua, Nadia Tawbi
E-Bunny: A Dynamic Compiler for Embedded Java Virtual Machines. J. Object Technol. 4 (1) (2005)
Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Nadia Tawbi, Hamdi Yahyaoui, Sami Zhioua
A dynamic compiler for embedded Java virtual machines. PPPJ (2004)
Mourad Debbabi, M. M. Erhioui, Lamia Ketari, Nadia Tawbi, Hamdi Yahyaoui, Sami Zhioua
Method Call Acceleration in Embedded Java Virtual Machines. International Conference on Computational Science (2003)
Mourad Debbabi, Josée Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi
Secure Self-certified Code for Java. FASec (2002)
Mourad Debbabi, E. Giasson, Béchir Ktari, Frédéric Michaud, Nadia Tawbi
Secure Self-Certified COTS. WETICE (2000)
Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi
Formal Automatic Verification of Authentication Crytographic Protocols. ICFEM (1997)
Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi
From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. WETICE (1997)
Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian
Bus Arbitration Protocol: An Industrial Experiment with LOTOS. FORTE (1996)
Mourad Debbabi, Ali Faour, Nadia Tawbi
A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs. Implementation of Functional Languages (1996)
Nadia Tawbi
Estimation of Nested Loops Execution Time by Integer Arithmetic in Convex Polyhedra. IPPS (1994)
Nadia Tawbi, Paul Feautrier
Processor allocation and loop scheduling on multiprocessor computers. ICS (1992)
B. Dehbonei, Christophe Laurent, Nadia Tawbi, R. S. Kulkarni
PMACS: An Environment for Parallel Programming. IPPS (1991)