Concepedia

Boutheina Chetali

BC

Statistics

Publications

3

Citations

54

H-Index

3

Active since

1998

Affiliations

Gemalto (France)(Current)

Boutheina Chetali is an author at Gemalto (France) specializing in formal methods, formal verification, and computer science.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationSoftware VerificationCryptographyProgram AnalysisHardware Security

Publications per year

1998–2013

3

Publications

3

Formal verification of a CRT-RSA implementation against fault attacks

Maria Christofi, Boutheina Chetali, Louis Goubin et al. · Journal of Cryptographic Engineering · 2013 · 27 citations

Hardware Security, Reliability Engineering, Engineering +9

Formal verification of concurrent programs using the Larch prover

Boutheina Chetali · IEEE Transactions on Software Engineering · 1998 · 14 citations

Program Checking, Engineering, Verification +16

An Access Control Model Based Testing Approach for Smart Card Applications: Results of the {POSÉ} Project

Pierre-Alain Masson, Marie-Laure Potet, Jacques Julliand et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 13 citations · Full text

1–3 of 3