14 citations · 34 across the 11 of their papers we have counts for
1 paper · 1 filter
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…