Algebraic Abstractions. - Michel Bidoit; Alexandre Boisseau (WADT, 2001)

Abstractions pour la vérification de propriétés de sécurité de protocoles cryptographiques. (Abstractions for verification of security properties of cryptographic protocols). - Alexandre Boisseau (2003)