Ludovic Robin

According to our database¹, Ludovic Robin authored at least 2 papers between 2017 and 2018.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2018

Vérification formelle de protocoles basés sur de courtes chaines authentifiées. (Formal verification of protocols based on short authenticated strings).

[BibT_eX]

[DOI]

Ludovic Robin

PhD thesis, 2018

2017

Formal Verification of Protocols Based on Short Authenticated Strings.

[BibT_eX]

[DOI]

Stéphanie Delaune

Steve Kremer

Ludovic Robin

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

Ludovic Robin

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...