Nadia Tawbi

Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Ali Miri, Nadia Tawbi (Eds.): Foundations and Practice of Security - 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7743, Springer 2013, isbn 978-3-642-37118-9

Raphael Khoury, Nadia Tawbi: Which security policies are enforceable by runtime monitors? A survey. Computer Science Review 6(1): 27-45 (2012)

Raphael Khoury, Nadia Tawbi: Corrective Enforcement: A New Paradigm of Security Policy Enforcement by Monitors. ACM Trans. Inf. Syst. Secur. 15(2): 10 (2012)

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

Hugues Chabot, Raphael Khoury, Nadia Tawbi: Extending the enforcement power of truncation monitors using static analysis. Computers & Security 30(4): 194-207 (2011)

Frédérick Lemay, Raphael Khoury, Nadia Tawbi: Optimized Inlining of Runtime Monitors. NordSec 2011: 149-161

Raphael Khoury, Nadia Tawbi: Corrective Enforcement of Security Policies. Formal Aspects in Security and Trust 2010: 176-190

Raphael Khoury, Nadia Tawbi: Using Equivalence Relations for Corrective Enforcement of Security Policies. MMM-ACNS 2010: 139-154

Hugues Chabot, Raphael Khoury, Nadia Tawbi: Generating In-Line Monitors for Rabin Automata. NordSec 2009: 287-301

Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi: Execution monitoring enforcement under memory-limitation constraints. Inf. Comput. 206(2-4): 158-184 (2008)

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

Chamseddine Talhi, Nadia Tawbi, Mourad Debbabi: Execution monitoring enforcement for limited-memory systems. PST 2006: 38

Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua, Nadia Tawbi: E-Bunny: A Dynamic Compiler for Embedded Java Virtual Machines. Journal of Object Technology 4(1): 83-108 (2005)

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

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

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: 750-759

Mourad Debbabi, Jules Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi: Secure Self-certified Code for Java. FASec 2002: 133-151

Mourad Debbabi, E. Giasson, Béchir Ktari, Frédéric Michaud, Nadia Tawbi: Secure Self-Certified COTS. WETICE 2000: 183-188

Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi: Formal Automatic Verification of Authentication Crytographic Protocols. ICFEM 1997: 50-59

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

Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian: Specification and Verification of the PowerScale^TM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. FORTE 1996: 435-450

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: 247-266

Nadia Tawbi: Estimation of Nested Loops Execution Time by Integer Arithmetic in Convex Polyhedra. IPPS 1994: 217-221

Nadia Tawbi, Paul Feautrier: Processor allocation and loop scheduling on multiprocessor computers. ICS 1992: 63-71

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