Nadia Tawbi

50 papers A 2C 9Misc 3Journal 11Unranked 21
YearRankTypeTitle / Venue / Authors
2025 — conf
GRAND : Graph Reconstruction from Potential Partial Adjacency and Neighborhood Data.
KDD (2)
Sofiane Azogagh, Zelma Aubin Birba, Josée Desharnais, Sébastien Gambs, Marc-Olivier Killijian, Nadia Tawbi
2025 C conf
Information Flow Control for the Internet of Things.
IoTBDS
Gildas Kouko, Josée Desharnais, Nadia Tawbi
2025 — conf
Privacy-Preserving Trajectory Data Publication Via Differentially-Private Representation Learning.
ESORICS (4)
Youcef Korichi, Josée Desharnais, Sébastien Gambs, Nadia Tawbi
2024 — ed.
Foundations and Practice of Security - 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part I
FPS (1)
Mohamed Mosbah, Florence Sèdes, Nadia Tawbi, Toufik Ahmed, Nora Boulahia-Cuppens, Joaquín García-Alfaro
2024 — ed.
Foundations and Practice of Security - 16th International Symposium, FPS 2023, Bordeaux, France, December 11-13, 2023, Revised Selected Papers, Part II
FPS (2)
Mohamed Mosbah, Florence Sèdes, Nadia Tawbi, Toufik Ahmed, Nora Boulahia-Cuppens, Joaquín García-Alfaro
2024 J jnl
GRAND : Graph Reconstruction from potential partial Adjacency and Neighborhood Data.
CoRR
Sofiane Azogagh, Zelma Aubin Birba, Josée Desharnais, Sébastien Gambs, Marc-Olivier Killijian, Nadia Tawbi
2024 — conf
Leveraging Transformer Architecture for Effective Trajectory-User Linking (TUL) Attack and Its Mitigation.
ESORICS (4)
Youcef Korichi, Josée Desharnais, Sébastien Gambs, Nadia Tawbi
2023 C conf
Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models.
PST
Simon Bertrand, Josée Desharnais, Nadia Tawbi
2022 J jnl
Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models.
CoRR
Simon Bertrand, Nadia Tawbi, Josée Desharnais
2020 J jnl
Digital Waste Disposal: an automated framework for analysis of spam emails.
Int. J. Inf. Sec.
Mina Sheikhalishahi, Andrea Saracino, Fabio Martinelli, Antonio La Marra, Mohammed Mejri, Nadia Tawbi
2020 C conf
Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning.
CRiSIS
Souad El Hatib, Loïc Ricaud, Josée Desharnais, Nadia Tawbi
2019 A conf
Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement.
CSF
Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi
2017 J jnl
A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version).
Comput. Secur.
Andrew Bedford, Stephen Chong, Josée Desharnais, Elisavet Kozyri, Nadia Tawbi
2017 — ed.
Foundations and Practice of Security - 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised Selected Papers
FPS
Frédéric Cuppens, Lingyu Wang, Nora Cuppens-Boulahia, Nadia Tawbi, Joaquín García-Alfaro
2016 Misc conf
A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor.
SEC
Andrew Bedford, Stephen Chong, Josée Desharnais, Nadia Tawbi
2016 — conf
Andrana: Quick and Accurate Malware Detection for Android.
FPS
Andrew Bedford, Sébastien Garvin, Josée Desharnais, Nadia Tawbi, Hana Ajakan, Frédéric Audet, Bernard Lebel
2016 — conf
Keynote I and Keynote II.
FNC/MobiSPC
Hossam S. Hassanein, Nadia Tawbi
2016 — conf
On the Abstraction of a Categorical Clustering Algorithm.
MLDM
Mina Sheikhalishahi, Mohamed Mejri, Nadia Tawbi
2016 — conf
Privacy-Aware Data Sharing in a Tree-Based Categorical Clustering Algorithm.
FPS
Mina Sheikhalishahi, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
2015 C conf
Clustering Spam Emails into Campaigns.
ICISSP
Mina Sheikh Alishahi, Mohamed Mejri, Nadia Tawbi
2015 — conf
Digital Waste Sorting: A Goal-Based, Self-Learning Approach to Label Spam Email Campaigns.
STM
Mina Sheikhalishahi, Andrea Saracino, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
2015 J jnl
Equivalence-preserving corrective enforcement of security properties.
Int. J. Inf. Comput. Secur.
Raphaël Khoury, Nadia Tawbi
2015 — conf
Fast and Effective Clustering of Spam Emails Based on Structural Similarity.
FPS
Mina Sheikhalishahi, Andrea Saracino, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
2013 J jnl
Editorial.
J. Inf. Secur. Appl.
Frédéric Cuppens, Nora Cuppens-Boulahia, Ernesto Damiani, Radu State, Joaquín García-Alfaro, Nadia Tawbi
2013 — conf
Enforcing Information Flow by Combining Static and Dynamic Analysis.
FPS
Andrew Bedford, Josée Desharnais, Théophane G. Godonou, Nadia Tawbi
2013 — ed.
Foundations and Practice of Security - 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers
FPS
Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Ali Miri, Nadia Tawbi
2012 J jnl
Corrective Enforcement: A New Paradigm of Security Policy Enforcement by Monitors.
ACM Trans. Inf. Syst. Secur.
Raphaël Khoury, Nadia Tawbi
2012 — conf
Enforcing Information Flow Policies by a Three-Valued Analysis.
MMM-ACNS
Josée Desharnais, Erwanne P. Kanyabwero, Nadia Tawbi
2012 J jnl
Which security policies are enforceable by runtime monitors? A survey.
Comput. Sci. Rev.
Raphaël Khoury, Nadia Tawbi
2011 J jnl
Extending the enforcement power of truncation monitors using static analysis.
Comput. Secur.
Hugues Chabot, Raphaël Khoury, Nadia Tawbi
2011 — conf
Optimized Inlining of Runtime Monitors.
NordSec
Frédérick Lemay, Raphaël Khoury, Nadia Tawbi
2010 — conf
Corrective Enforcement of Security Policies.
Formal Aspects in Security and Trust
Raphaël Khoury, Nadia Tawbi
2010 — conf
Using Equivalence Relations for Corrective Enforcement of Security Policies.
MMM-ACNS
Raphaël Khoury, Nadia Tawbi
2009 — conf
Generating In-Line Monitors for Rabin Automata.
NordSec
Hugues Chabot, Raphaël Khoury, Nadia Tawbi
2008 J jnl
Execution monitoring enforcement under memory-limitation constraints.
Inf. Comput.
Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi
2007 — conf
A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL.
QSIC
Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi
2006 C conf
Execution monitoring enforcement for limited-memory systems.
PST
Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi
2005 Misc conf
Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors.
SAC
Mourad Debbabi, Azzam Mourad, Nadia Tawbi
2005 J jnl
E-Bunny: A Dynamic Compiler for Embedded Java Virtual Machines.
J. Object Technol.
Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua, Nadia Tawbi
2004 — conf
A dynamic compiler for embedded Java virtual machines.
PPPJ
Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Nadia Tawbi, Hamdi Yahyaoui, Sami Zhioua
2003 Misc conf
Method Call Acceleration in Embedded Java Virtual Machines.
International Conference on Computational Science
Mourad Debbabi, M. M. Erhioui, Lamia Ketari, Nadia Tawbi, Hamdi Yahyaoui, Sami Zhioua
2002 — conf
Secure Self-certified Code for Java.
FASec
Mourad Debbabi, Josée Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi
2000 C conf
Secure Self-Certified COTS.
WETICE
Mourad Debbabi, E. Giasson, Béchir Ktari, Frédéric Michaud, Nadia Tawbi
1997 C conf
Formal Automatic Verification of Authentication Crytographic Protocols.
ICFEM
Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi
1997 C conf
From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm.
WETICE
Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi
1996 — conf
A Type-Based Algorithm for the Control-Flow Analysis of Higher-Order Concurrent Programs.
Implementation of Functional Languages
Mourad Debbabi, Ali Faour, Nadia Tawbi
1996 C conf
Specification and Verification of the PowerScale
FORTE
Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian
1994 — conf
Estimation of Nested Loops Execution Time by Integer Arithmetic in Convex Polyhedra.
IPPS
Nadia Tawbi
1992 A conf
Processor allocation and loop scheduling on multiprocessor computers.
ICS
Nadia Tawbi, Paul Feautrier
1991 — conf
PMACS: An Environment for Parallel Programming.
IPPS
B. Dehbonei, Christophe Laurent, Nadia Tawbi, R. S. Kulkarni