Dominique Bolignano

Publication Activity (10 Years)

Years Active: 1992-2018
Publications (10 Years): 1

Top Topics

Security Problems

Domain Independent

Reactive Systems

Top Venues

Publications

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