BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Poland
1 × United Kingdom
3 × USA
Collaborated with:
I.Narasamdya L.Bozga Y.Lakhnech A.Fouilhé D.Monniaux P.Fradet D.L.Métayer
Talks about:
certif (3) protocol (2) criteria (2) abstract (2) secreci (2) common (2) applic (2) smart (2) card (2) architectur (1)

Person: Michaël Périn

DBLP DBLP: P=eacute=rin:Micha=euml=l

Contributed to:

SAS 20132013
FASE 20092009
SAC 20092009
CAV 20032003
TACAS 20032003
ESEC/FSE 19991999

Wrote 6 papers:

SAS-2013-FouilheMP #abstract domain #correctness #generative #performance
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra (AF, DM, MP), pp. 345–365.
FASE-2009-NarasamdyaP #certification
Certification of Smart-Card Applications in Common Criteria (IN, MP), pp. 309–324.
SAC-2009-NarasamdyaP #certification
Certification of smart-card applications in common criteria (IN, MP), pp. 601–608.
CAV-2003-BozgaLP #automation #named #protocol #security #verification
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols (LB, YL, MP), pp. 219–222.
TACAS-2003-BozgaLP #abstraction #protocol #verification
Pattern-Based Abstraction for Verifying Secrecy in Protocols (LB, YL, MP), pp. 299–314.
ESEC-FSE-1999-FradetMP #architecture #consistency #multi
Consistency Checking for Multiple View Software Architectures (PF, DLM, MP), pp. 410–428.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.