Boutheina Chetali

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