This year’s distinguished paper award at the CSF Symposium went to Vincent Cheval member of the project SVP and Itsaka Rakotonirina for their paper on « Indistinguishability Beyond Diff-Equivalence in ProVerif. »
This year’s distinguished paper award at the CSF Symposium went to Vincent Cheval member of the project SVP and Itsaka Rakotonirina for their paper on « Indistinguishability Beyond Diff-Equivalence in ProVerif. »