Travelled to:1 × Finland
1 × Switzerland
1 × United Kingdom
Collaborated with:∅ Q.H.Nguyen J.Andronick C.Paulin-Mohring
Talks about:formal (3) secur (3) method (2) smart (2) level (2) high (2) card (2) properti (1) industri (1) certif (1)
Person: Boutheina Chetali
DBLP: Chetali:Boutheina
Contributed to:
2009
20082005Wrote 3 papers:
- TAP-2009-Chetali #certification #formal method #security #smarttech #testing
- Security Testing and Formal Methods for High Levels Certification of Smart Cards (BC), pp. 1–5.
- FM-2008-ChetaliN #evaluation #formal method #industrial #security #using
- Industrial Use of Formal Methods for a High-Level Security Evaluation (BC, QHN), pp. 198–213.
- FM-2005-AndronickCP #embedded #security #smarttech #source code #verification
- Formal Verification of Security Properties of Smart Card Embedded Source Code (JA, BC, CPM), pp. 302–317.