Higher Order Communication Processes with Value-Passing, Assignment and Return of Results. - Dominique Bolignano; Mourad Debbabi (ISAAC, 1992)

A Coherent Type System for a Concurrent, Functional and Imperative Programming Language. - Dominique Bolignano; Mourad Debbabi (AMAST, 1993)

A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming. - Dominique Bolignano; Mourad Debbabi (ICCI, 1993)

A Semantic Theory for Concurrent ML. - Dominique Bolignano; Mourad Debbabi (TACS, 1994)

A partial-order approach to the verification of concurrent systems: checking liveness properties. - Dominique Bolignano (CHARME, 1995)

An Approach to the Formal Verification of Cryptographic Protocols. - Dominique Bolignano (CCS, 1996)

Towards a Mechanization of Cryptographic Protocal Verification. - Dominique Bolignano (CAV, 1997)

Towards the Formal Verification of Electronic Commerce Protocols. - Dominique Bolignano (CSFW, 1997)

Verification of Cryptographic Protocols: An Experiment. - Marc Mehdi Ayadi; Dominique Bolignano (FME, 1997)

Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols. - Dominique Bolignano (CAV, 1998)

Formal Methods and Security Evaluation (Invited Talk). - Dominique Bolignano (TPHOLs, 1999)

Using Abstract Interpretation for the Safe Verification of Security Protocols. - Dominique Bolignano (MFPS, 1999)

Formal Methods in Context: Security and Java Card. - Dominique Bolignano; Daniel Le Métayer; Claire Loiseaux (Java Card Workshop, 2000)

Formal Methods in Practice: The Missing Links. A Perspective from the Security Area. - Dominique Bolignano; Daniel Le Métayer; Claire Loiseaux (MOVEP, 2000)

Applying Formal Methods in the Large. - Dominique Bolignano (ITP, 2013)

Security Filters for IoT Domain Isolation. - Dominique Bolignano; Florence Plateau (ISoLA (4), 2018)