Dominique Bolignano

According to our database, Dominique Bolignano authored at least 16 papers between 1992 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Security Filters for IoT Domain Isolation.

Dominique Bolignano, Florence Plateau

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2013

Applying Formal Methods in the Large.

Dominique Bolignano

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2000

Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.

Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

Formal Methods in Context: Security and Java Card.

Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux

Proceedings of the Java on Smart Cards: Programming and Security, 2000

1999

Using Abstract Interpretation for the Safe Verification of Security Protocols.

Dominique Bolignano

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Formal Methods and Security Evaluation (Invited Talk).

Dominique Bolignano

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1998

Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols.

Dominique Bolignano

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Verification of Cryptographic Protocols: An Experiment.

Marc Mehdi Ayadi, Dominique Bolignano

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Towards the Formal Verification of Electronic Commerce Protocols.

Dominique Bolignano

Proceedings of the 10th Computer Security Foundations Workshop (CSFW '97), 1997

Towards a Mechanization of Cryptographic Protocal Verification.

Dominique Bolignano

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

An Approach to the Formal Verification of Cryptographic Protocols.

Dominique Bolignano

Proceedings of the CCS '96, 1996

1995

A partial-order approach to the verification of concurrent systems: checking liveness properties.

Dominique Bolignano

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994

A Semantic Theory for Concurrent ML.

Dominique Bolignano, Mourad Debbabi

Proceedings of the Theoretical Aspects of Computer Software, 1994

1993

A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming.

Dominique Bolignano, Mourad Debbabi

Proceedings of the Computing and Information, 1993

A Coherent Type System for a Concurrent, Functional and Imperative Programming Language.

Dominique Bolignano, Mourad Debbabi

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Higher Order Communication Processes with Value-Passing, Assignment and Return of Results.

Dominique Bolignano, Mourad Debbabi

Proceedings of the Algorithms and Computation, Third International Symposium, 1992