Formal Verification of Protocols Based on Short Authenticated Strings. - Stéphanie Delaune; Steve Kremer; Ludovic Robin (CSF, 2017)

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