| Véronique Boutin < Véronique Cortier < Véronique Legrand | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 10.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000096 (2005) | Véronique Cortier | Vérifier les protocoles cryptographiques |
| 000174 (2005) | Véronique Cortier ; Michael Rusinowitch ; Eugen Zalinescu | A resolution Strategy for Verifying Cryptographic Protocols with CBC Encryption and Blind Signatures |
| 000289 (2005) | Hubert Comon-Lundh ; Véronique Cortier | Tree automata with one memory, set constraints and cryptographic protocols |
| 000341 (2005) | Martin Abadi ; Véronique Cortier | Deciding knowledge in security protocols under (many more) equational theories |
| 000342 |