Nadia Tawbi

According to our database, Nadia Tawbi authored at least 41 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Leveraging Transformer Architecture for Effective Trajectory-User Linking (TUL) Attack and Its Mitigation.

Youcef Korichi, Josée Desharnais, Sébastien Gambs, Nadia Tawbi

Proceedings of the Computer Security - ESORICS 2024, 2024

2023

Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models.

Simon Bertrand, Josée Desharnais, Nadia Tawbi

Proceedings of the 20th Annual International Conference on Privacy, Security and Trust, 2023

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

Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning.

Souad El Hatib, Loïc Ricaud, Josée Desharnais, Nadia Tawbi

Proceedings of the Risks and Security of Internet and Systems, 2020

2019

Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement.

Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2017

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

2016

A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor.

Andrew Bedford, Stephen Chong, Josée Desharnais, Nadia Tawbi

Proceedings of the ICT Systems Security and Privacy Protection, 2016

On the Abstraction of a Categorical Clustering Algorithm.

Mina Sheikhalishahi, Mohamed Mejri, Nadia Tawbi

Proceedings of the Machine Learning and Data Mining in Pattern Recognition, 2016

Privacy-Aware Data Sharing in a Tree-Based Categorical Clustering Algorithm.

Mina Sheikhalishahi, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli

Proceedings of the Foundations and Practice of Security - 9th International Symposium, 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

Proceedings of the Foundations and Practice of Security - 9th International Symposium, 2016

Keynote I and Keynote II.

Hossam S. Hassanein, Nadia Tawbi

Proceedings of the 11th International Conference on Future Networks and Communications (FNC 2016) / The 13th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2016) / Affiliated Workshops, 2016

2015

Equivalence-preserving corrective enforcement of security properties.

Raphaël Khoury, Nadia Tawbi

Int. J. Inf. Comput. Secur., 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

Proceedings of the Security and Trust Management - 11th International Workshop, 2015

Clustering Spam Emails into Campaigns.

Mina Sheikh Alishahi, Mohamed Mejri, Nadia Tawbi

Proceedings of the ICISSP 2015, 2015

Fast and Effective Clustering of Spam Emails Based on Structural Similarity.

Mina Sheikhalishahi, Andrea Saracino, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli

Proceedings of the Foundations and Practice of Security - 8th International Symposium, 2015

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

Enforcing Information Flow by Combining Static and Dynamic Analysis.

Andrew Bedford, Josée Desharnais, Théophane G. Godonou, Nadia Tawbi

Proceedings of the Foundations and Practice of Security - 6th International Symposium, 2013

2012

Corrective Enforcement: A New Paradigm of Security Policy Enforcement by Monitors.

Raphaël Khoury, Nadia Tawbi

ACM Trans. Inf. Syst. Secur., 2012

Which security policies are enforceable by runtime monitors? A survey.

Raphaël Khoury, Nadia Tawbi

Comput. Sci. Rev., 2012

Enforcing Information Flow Policies by a Three-Valued Analysis.

Josée Desharnais, Erwanne P. Kanyabwero, Nadia Tawbi

Proceedings of the Computer Network Security, 2012

2011

Extending the enforcement power of truncation monitors using static analysis.

Hugues Chabot, Raphaël Khoury, Nadia Tawbi

Comput. Secur., 2011

Optimized Inlining of Runtime Monitors.

Frédérick Lemay, Raphaël Khoury, Nadia Tawbi

Proceedings of the Information Security Technology for Applications, 2011

2010

Using Equivalence Relations for Corrective Enforcement of Security Policies.

Raphaël Khoury, Nadia Tawbi

Proceedings of the Computer Network Security, 2010

Corrective Enforcement of Security Policies.

Raphaël Khoury, Nadia Tawbi

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

2009

Generating In-Line Monitors for Rabin Automata.

Hugues Chabot, Raphaël Khoury, Nadia Tawbi

Proceedings of the Identity and Privacy in the Internet Age, 2009

2008

Execution monitoring enforcement under memory-limitation constraints.

Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi

Inf. Comput., 2008

2007

A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL.

Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2006

Execution monitoring enforcement for limited-memory systems.

Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi

Proceedings of the 2006 International Conference on Privacy, 2006

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

Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors.

Mourad Debbabi, Azzam Mourad, Nadia Tawbi

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004

A dynamic compiler for embedded Java virtual machines.

Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Nadia Tawbi, Hamdi Yahyaoui, Sami Zhioua

Proceedings of the 3rd International Symposium on Principles and Practice of Programming in Java, 2004

2003

Method Call Acceleration in Embedded Java Virtual Machines.

Mourad Debbabi, M. M. Erhioui, Lamia Ketari, Nadia Tawbi, Hamdi Yahyaoui, Sami Zhioua

Proceedings of the Computational Science - ICCS 2003, 2003

2002

Secure Self-certified Code for Java.

Mourad Debbabi, Josée Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi

Proceedings of the Formal Aspects of Security, First International Conference, 2002

2000

Secure Self-Certified COTS.

Mourad Debbabi, E. Giasson, Béchir Ktari, Frédéric Michaud, Nadia Tawbi

Proceedings of the 9th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2000), 2000

1997

From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm.

Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi

Proceedings of the 6th Workshop on Enabling Technologies (WET-ICE '97), 1997

Formal Automatic Verification of Authentication Crytographic Protocols.

Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1996

A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs.

Mourad Debbabi, Ali Faour, Nadia Tawbi

Proceedings of the Implementation of Functional Languages, 8th International Workshop, 1996

Specification and Verification of the PowerScale^TM Bus Arbitration Protocol: An Industrial Experiment with LOTOS.

Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian

Proceedings of the Formal Description Techniques IX: Theory, 1996

1994

Estimation of Nested Loops Execution Time by Integer Arithmetic in Convex Polyhedra.

Nadia Tawbi

Proceedings of the 8th International Symposium on Parallel Processing, 1994

1992

Processor allocation and loop scheduling on multiprocessor computers.

Nadia Tawbi, Paul Feautrier

Proceedings of the 6th international conference on Supercomputing, 1992

1991

PMACS: An Environment for Parallel Programming.

B. Dehbonei, Christophe Laurent, Nadia Tawbi, R. S. Kulkarni

Proceedings of the Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30, 1991