Boutheina Chetali

Publication Activity (10 Years)

Years Active: 1992-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Cryptographic Algorithms

Top Venues

J. Inf. Secur. Appl.

J. Cryptogr. Eng.

Publications

Maria Christofi, Boutheina Chetali, Louis Goubin, David Vigilant
Formal verification of a CRT-RSA implementation against fault attacks. J. Cryptogr. Eng. 3 (3) (2013)
Olga Gadyatskaya, Fabio Massacci, Quang Huy Nguyen, Boutheina Chetali
Load time code validation for mobile phone Java Cards. J. Inf. Secur. Appl. 18 (2-3) (2013)
Boutheina Chetali
Security Testing and Formal Methods for High Levels Certification of Smart Cards. TAP@TOOLS (2009)
Boutheina Chetali, Quang Huy Nguyen
An automated testing experiment for layered embedded C code. Int. J. Softw. Tools Technol. Transf. 11 (3) (2009)
Boutheina Chetali, Quang Huy Nguyen
Industrial Use of Formal Methods for a High-Level Security Evaluation. FM (2008)
Quang Huy Nguyen, Boutheina Chetali
Certifying Native Java API by Formal Refinement. CARDIS (2006)
Walid Attiaoui, Mohamed Ben Ahmed, Moncef Tagina, Boutheina Chetali
Wrapping and Integrating USB Smart Card to Web Based Heterogeneous Medical Databases: Application for the Pathology of Cancer. CCECE (2006)
June Andronick, Boutheina Chetali, Christine Paulin-Mohring
Formal Verification of Security Properties of Smart Card Embedded Source Code. FM (2005)
June Andronick, Boutheina Chetali, Olivier Ly
Using Coq to Verify Java Card Applet Isolation Properties. TPHOLs (2003)
Boutheina Chetali
Formal Verification of Concurrent Programs Using the Larch Prover. IEEE Trans. Software Eng. 24 (1) (1998)
Boutheina Chetali, Barbara Heyd
Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis. TPHOLs (1997)
Boutheina Chetali, Pierre Lescanne
Formal Verfication of a Protocol for Communications over Faulty Channels. FORTE (1995)
Boutheina Chetali, Pierre Lescanne
An Exercise in LP: The Proof of a Non Restoring Division Circuit. Larch (1992)