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