Vincent Bernat

According to our database, Vincent Bernat authored at least 2 papers in 2006.

Collaborative distances:

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

2006

Théories de l'intrus pour la vérification des protocoles cryptographiques. (Intruder theories for the verification of cryptographic protocols).

Vincent Bernat

PhD thesis, 2006

Normal Proofs in Intruder Theories.

Vincent Bernat, Hubert Comon-Lundh

Proceedings of the Advances in Computer Science, 2006