412 citations · 469 across the 8 of their papers we have counts for
1 paper · 2 filters
David Baelde, Stéphanie Delaune, Lucca Hirschi
Security protocols are concurrent processes that communicate using cryptography with the aim of achieving various security properties. Recent work on their formal verification has…