1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Myrto Arapinis, Vincent Cheval, Stéphanie Delaune
Security protocols are used in many of our daily-life applications, and our privacy largely depends on their design. Formal verification techniques have proved their usefulness to…