An Exercise in LP: The Proof of a Non Restoring Division Circuit. - Boutheina Chetali; Pierre Lescanne (Larch, 1992)

Formal Verfication of a Protocol for Communications over Faulty Channels. - Boutheina Chetali; Pierre Lescanne (FORTE, 1995)

Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique. - Boutheïna Chetali (1996)

Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis. - Boutheina Chetali; Barbara Heyd (TPHOLs, 1997)

Formal Verification of Concurrent Programs Using the Larch Prover. - Boutheina Chetali (IEEE Trans. Software Eng., 1998)

Using Coq to Verify Java Card Applet Isolation Properties. - June Andronick; Boutheina Chetali; Olivier Ly (TPHOLs, 2003)

Formal Verification of Security Properties of Smart Card Embedded Source Code. - June Andronick; Boutheina Chetali; Christine Paulin-Mohring (FM, 2005)

Certifying Native Java API by Formal Refinement. - Quang Huy Nguyen 002; Boutheina Chetali (CARDIS, 2006)

Wrapping and Integrating USB Smart Card to Web Based Heterogeneous Medical Databases: Application for the Pathology of Cancer. - Walid Attiaoui; Mohamed Ben Ahmed; Moncef Tagina; Boutheina Chetali (CCECE, 2006)

Industrial Use of Formal Methods for a High-Level Security Evaluation. - Boutheina Chetali; Quang Huy Nguyen 002 (FM, 2008)

Security Testing and Formal Methods for High Levels Certification of Smart Cards. - Boutheina Chetali (TAP@TOOLS, 2009)

An automated testing experiment for layered embedded C code. - Boutheina Chetali; Quang Huy Nguyen 002 (Int. J. Softw. Tools Technol. Transf., 2009)

Load time code validation for mobile phone Java Cards. - Olga Gadyatskaya; Fabio Massacci; Quang Huy Nguyen 002; Boutheina Chetali (J. Inf. Secur. Appl., 2013)

Formal verification of a CRT-RSA implementation against fault attacks. - Maria Christofi; Boutheina Chetali; Louis Goubin; David Vigilant (J. Cryptogr. Eng., 2013)