57 citations · 60 across the 4 of their papers we have counts for
1 paper · 2 filters
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
Automated verification has become an essential part in the security evaluation of cryptographic protocols. In this context privacy-type properties are often modelled by indistingui…