Robustness of Invariants in BIP models
with J-O.Blech, T-H.Nguyen. In
WING'09
[ slides
| pdf
| bib]
Certifying Deadlock-freedom for BIP Models
with J-O.Blech. In
SCOPES'09
[ pdf
| bib]
Convincing proofs for program certification
with M.Garnacho. In
SafeCert'08
[ slides
| pdf
| bib]
Certification of Smart-Card Applications in Common Criteria: Proving Representation Correspondences
with I.Narasamdya. In
FASE'09
[ pdf
| bib]
Certification of Smart-Card Applications in Common Criteria
with I.Narasamdya.
In
SAC/SVT'09
[ pdf
| bib]
Certification of Cryptographic Protocols by Abstract Model-Checking and Proof Concretization
with R.Janvier and Y.Lakhnech. In
ITCES'06
[ slides
| pdf
| bib]
Pattern-based abstraction for verifying secrecy in protocols
with L. Bozga, Y. Lakhnech. In
STTT:8:57-76
, Feb 2006
[pdf | bib]
email: evaluate the expresssion swap( perin . micKael[K/h] ) @ reverse(gami) . fr
phone: (+33|0) 456 520 434