Vanessa Terrade

According to our database, Vanessa Terrade authored at least 1 paper in 2009.

Collaborative distances:

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

2009

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties.

Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009