Search the dblp DataBase

Publications of Author

1. Dominique Bolignano, Mourad Debbabi
   A Coherent Type System for a Concurrent, Functional and Imperative Programming Language. [Citation Graph (0, 0)][DBLP]
   AMAST, 1993, pp:153-162 [Conf]
   
2. Dominique Bolignano
   Towards a Mechanization of Cryptographic Protocal Verification. [Citation Graph (0, 0)][DBLP]
   CAV, 1997, pp:131-142 [Conf]
   
3. Dominique Bolignano
   Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
   CAV, 1998, pp:77-87 [Conf]
   
4. Dominique Bolignano
   An Approach to the Formal Verification of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
   ACM Conference on Computer and Communications Security, 1996, pp:106-118 [Conf]
   
5. Dominique Bolignano
   A partial-order approach to the verification of concurrent systems: checking liveness properties. [Citation Graph (0, 0)][DBLP]
   CHARME, 1995, pp:278-292 [Conf]
   
6. Dominique Bolignano
   Towards the Formal Verification of Electronic Commerce Protocols. [Citation Graph (0, 0)][DBLP]
   CSFW, 1997, pp:133-147 [Conf]
   
7. Marc Mehdi Ayadi, Dominique Bolignano
   Verification of Cryptographic Protocols: An Experiment. [Citation Graph (0, 0)][DBLP]
   FME, 1997, pp:358-377 [Conf]
   
8. Dominique Bolignano, Mourad Debbabi
   A Denotational Model for the Integration of Concurrent, Functional, and Imperative Programming. [Citation Graph (0, 0)][DBLP]
   ICCI, 1993, pp:244-250 [Conf]
   
9. Dominique Bolignano, Mourad Debbabi
   Higher Order Communication Processes with Value-Passing, Assignment and Return of Results. [Citation Graph (0, 0)][DBLP]
   ISAAC, 1992, pp:319-331 [Conf]
   
10. Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
    Formal Methods in Context: Security and Java Card. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:1-5 [Conf]
    
11. Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
    Formal Methods in Practice: The Missing Links. A Perspective from the Security Area. [Citation Graph (0, 0)][DBLP]
    MOVEP, 2000, pp:169-182 [Conf]
    
12. Dominique Bolignano, Mourad Debbabi
    A Semantic Theory for Concurrent ML. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:766-785 [Conf]
    
13. Dominique Bolignano
    Formal Methods and Security Evaluation (Invited Talk). [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:291-292 [Conf]
    
14. Dominique Bolignano
    Using Abstract Interpretation for the Safe Verification of Security Protocols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]