The paper Indistinguishability Beyond Diff-Equivalence in ProVerif
by Vincent Cheval and Itsaka Rakotonirina received a Distinguished Paper Award
at IEEE CSF 2023.
The paper An Efficient Cryptographic Protocol Verifier Based on Prolog Rules
by Bruno Blanchet, published at CSFW 2001, received a Test of Time Award at
IEEE CSF 2023. This paper was the first paper about the security protocol verifier Proverif.