Travelled to:1 × Austria
1 × Canada
1 × Israel
Collaborated with:∅ M.M.Ayadi
Talks about:cryptograph (3) verif (3) protocol (2) techniqu (1) toward (1) protoc (1) mechan (1) integr (1) formal (1) experi (1)
Person: Dominique Bolignano
DBLP: Bolignano:Dominique
Contributed to:
19981997
1997Wrote 3 papers:
- CAV-1998-Bolignano #encryption #model checking #protocol #verification
- Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols (DB), pp. 77–87.
- CAV-1997-Bolignano #encryption #towards #verification
- Towards a Mechanization of Cryptographic Protocal Verification (DB), pp. 131–142.
- FME-1997-AyadiB #empirical #encryption #protocol #verification
- Verification of Cryptographic Protocols: An Experiment (MMA, DB), pp. 358–377.