Dominique Bolignano
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
1992–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SECRYPT | Federated Attested Custody for Blockchain Assets under Post-Quantum Uncertainty. | Dominique Bolignano |
| 2018 | ISoLA | Security Filters for IoT Domain Isolation. | Dominique Bolignano, Florence Plateau |
| 2013 | ITP | Applying Formal Methods in the Large. | Dominique Bolignano |
| 1998 | CAV | Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols. | Dominique Bolignano |
| 1997 | CAV | Towards a Mechanization of Cryptographic Protocal Verification. | Dominique Bolignano |
| 1997 | FM | Verification of Cryptographic Protocols: An Experiment. | Marc Mehdi Ayadi, Dominique Bolignano |
| 1996 | CCS | An Approach to the Formal Verification of Cryptographic Protocols. | Dominique Bolignano |
| 1993 | ICCI | A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming. | Dominique Bolignano, Mourad Debbabi |
| 1992 | ISAAC | Higher Order Communication Processes with Value-Passing, Assignment and Return of Results. | Dominique Bolignano, Mourad Debbabi |