Distinguished paper award and test of time award at CSF’23

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.

Comments are closed.