Denis Leroy

According to our database, Denis Leroy authored at least 1 paper in 1993.

Collaborative distances:

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

1993

Reliable Hashing without Collosion Detection.

Pierre Wolper, Denis Leroy

Proceedings of the Computer Aided Verification, 5th International Conference, 1993