Boutheina Chetali

According to our database, Boutheina Chetali authored at least 14 papers between 1992 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Formal verification of a CRT-RSA implementation against fault attacks.

Maria Christofi, Boutheina Chetali, Louis Goubin, David Vigilant

J. Cryptogr. Eng., 2013

Load time code validation for mobile phone Java Cards.

Olga Gadyatskaya, Fabio Massacci, Quang Huy Nguyen, Boutheina Chetali

J. Inf. Secur. Appl., 2013

2009

An automated testing experiment for layered embedded C code.

Boutheina Chetali, Quang Huy Nguyen

Int. J. Softw. Tools Technol. Transf., 2009

Security Testing and Formal Methods for High Levels Certification of Smart Cards.

Boutheina Chetali

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

2008

Industrial Use of Formal Methods for a High-Level Security Evaluation.

Boutheina Chetali, Quang Huy Nguyen

Proceedings of the FM 2008: Formal Methods, 2008

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

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Certifying Native Java API by Formal Refinement.

Quang Huy Nguyen, Boutheina Chetali

Proceedings of the Smart Card Research and Advanced Applications, 2006

2005

Formal Verification of Security Properties of Smart Card Embedded Source Code.

June Andronick, Boutheina Chetali, Christine Paulin-Mohring

Proceedings of the FM 2005: Formal Methods, 2005

2003

Using Coq to Verify Java Card Applet Isolation Properties.

June Andronick, Boutheina Chetali, Olivier Ly

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

1998

Formal Verification of Concurrent Programs Using the Larch Prover.

Boutheina Chetali

IEEE Trans. Software Eng., 1998

1997

Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis.

Boutheina Chetali, Barbara Heyd

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

1996

Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique.

Boutheïna Chetali

PhD thesis, 1996

1995

Formal Verfication of a Protocol for Communications over Faulty Channels.

Boutheina Chetali, Pierre Lescanne

Proceedings of the Formal Description Techniques VIII, 1995

1992

An Exercise in LP: The Proof of a Non Restoring Division Circuit.

Boutheina Chetali, Pierre Lescanne

Proceedings of the First International Workshop on Larch, 1992