Dominique Bolignano

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Security Filters for IoT Domain Isolation.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2013
Applying Formal Methods in the Large.
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2000
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

Formal Methods in Context: Security and Java Card.
Proceedings of the Java on Smart Cards: Programming and Security, 2000

1999
Using Abstract Interpretation for the Safe Verification of Security Protocols.
Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Formal Methods and Security Evaluation (Invited Talk).
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.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
Verification of Cryptographic Protocols: An Experiment.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Towards the Formal Verification of Electronic Commerce Protocols.
Proceedings of the 10th Computer Security Foundations Workshop (CSFW '97), 1997

Towards a Mechanization of Cryptographic Protocal Verification.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
An Approach to the Formal Verification of Cryptographic Protocols.
Proceedings of the CCS '96, 1996

1995
A partial-order approach to the verification of concurrent systems: checking liveness properties.
Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994
A Semantic Theory for Concurrent ML.
Proceedings of the Theoretical Aspects of Computer Software, 1994

1993
A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming.
Proceedings of the Computing and Information, 1993

A Coherent Type System for a Concurrent, Functional and Imperative Programming Language.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992
Higher Order Communication Processes with Value-Passing, Assignment and Return of Results.
Proceedings of the Algorithms and Computation, Third International Symposium, 1992


  Loading...