Dominique Bolignano

16 papers A* 3B 3C 1Unranked 9
YearRankTypeTitle / Venue / Authors
2018 — conf
Security Filters for IoT Domain Isolation.
ISoLA (4)
Dominique Bolignano, Florence Plateau
2013 B conf
Applying Formal Methods in the Large.
ITP
Dominique Bolignano
2000 — conf
Formal Methods in Context: Security and Java Card.
Java Card Workshop
Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
2000 — conf
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.
MOVEP
Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
1999 — conf
Formal Methods and Security Evaluation (Invited Talk).
TPHOLs
Dominique Bolignano
1999 B conf
Using Abstract Interpretation for the Safe Verification of Security Protocols.
MFPS
Dominique Bolignano
1998 A* conf
Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols.
CAV
Dominique Bolignano
1997 A* conf
Towards a Mechanization of Cryptographic Protocal Verification.
CAV
Dominique Bolignano
1997 — conf
Towards the Formal Verification of Electronic Commerce Protocols.
CSFW
Dominique Bolignano
1997 — conf
Verification of Cryptographic Protocols: An Experiment.
FME
Marc Mehdi Ayadi, Dominique Bolignano
1996 A* conf
An Approach to the Formal Verification of Cryptographic Protocols.
CCS
Dominique Bolignano
1995 — conf
A partial-order approach to the verification of concurrent systems: checking liveness properties.
CHARME
Dominique Bolignano
1994 — conf
A Semantic Theory for Concurrent ML.
TACS
Dominique Bolignano, Mourad Debbabi
1993 — conf
A Coherent Type System for a Concurrent, Functional and Imperative Programming Language.
AMAST
Dominique Bolignano, Mourad Debbabi
1993 C conf
A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming.
ICCI
Dominique Bolignano, Mourad Debbabi
1992 B conf
Higher Order Communication Processes with Value-Passing, Assignment and Return of Results.
ISAAC
Dominique Bolignano, Mourad Debbabi