 | 2009 |
|---|
| 8 |       | Iman Narasamdya,
Michaël Périn:
Certification of Smart-Card Applications in Common Criteria.
FASE 2009: 309-324 |
| 7 | | Iman Narasamdya,
Michaël Périn:
Certification of smart-card applications in common criteria.
SAC 2009: 601-608 |
| 6 | | Jean-François Monin,
Cristian Ene,
Michaël Périn:
Gentzen-Prawitz Natural Deduction as a Teaching Tool
CoRR abs/0907.3599: (2009) |
| 2006 |
|---|
| 5 | | Liana Bozga,
Yassine Lakhnech,
Michaël Périn:
Pattern-based abstraction for verifying secrecy in protocols.
STTT 8(1): 57-76 (2006) |
| 2005 |
|---|
| 4 |  | Liana Bozga,
Cristian Ene,
Romain Janvier,
Yassine Lakhnech,
Laurent Mazaré,
Michaël Périn:
Automatic Verification of Security Properties Based on Abstractions.
VISSAS 2005: 23-53 |
| 2003 |
|---|
| 3 | | Liana Bozga,
Yassine Lakhnech,
Michaël Périn:
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols.
CAV 2003: 219-222 |
| 2 | | Liana Bozga,
Yassine Lakhnech,
Michaël Périn:
Pattern-Based Abstraction for Verifying Secrecy in Protocols.
TACAS 2003: 299-314 |
| 1999 |
|---|
| 1 | | Pascal Fradet,
Daniel Le Métayer,
Michaël Périn:
Consistency Checking for Multiple View Software Architectures.
ESEC / SIGSOFT FSE 1999: 410-428 |
