dblp.uni-trier.dewww.uni-trier.de

Michaël Périn

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
7EEIman Narasamdya, Michaël Périn: Certification of Smart-Card Applications in Common Criteria. FASE 2009: 309-324
6EEIman Narasamdya, Michaël Périn: Certification of smart-card applications in common criteria. SAC 2009: 601-608
2006
5EELiana 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
3EELiana Bozga, Yassine Lakhnech, Michaël Périn: HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. CAV 2003: 219-222
2EELiana Bozga, Yassine Lakhnech, Michaël Périn: Pattern-Based Abstraction for Verifying Secrecy in Protocols. TACAS 2003: 299-314
1999
1EEPascal Fradet, Daniel Le Métayer, Michaël Périn: Consistency Checking for Multiple View Software Architectures. ESEC / SIGSOFT FSE 1999: 410-428

Coauthor Index

1Liana Bozga [2] [3] [4] [5]
2Cristian Ene [4]
3Pascal Fradet [1]
4Romain Janvier [4]
5Yassine Lakhnech [2] [3] [4] [5]
6Laurent Mazaré [4]
7Daniel Le Métayer [1]
8Iman Narasamdya [6] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)