Statistics
Publications
2
Citations
136
H-Index
2
Active since
1996
Dominique Bolignano is an author specializing in formal methods, protocol formal verification, and computing.
Publications per year
1996–2002
2
2
An approach to the formal verification of cryptographic protocols
Dominique Bolignano · 1996 · 76 citations · Full text
1–2 of 2