Alexandre Boisseau

According to our database, Alexandre Boisseau authored at least 2 papers between 2001 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2003

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

PhD thesis, 2003

2001

Algebraic Abstractions.

Michel Bidoit, Alexandre Boisseau

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001