ChevalDelauneCCS26

Vincent Cheval and Stéphanie Delaune. Symbolic Protocol Verification modulo XOR in ProVerif. In Proceedings of the 2026 ACM SIGSAC Conference on Computer and Communications Security, CCS 2026. ACM Press, November 2026. To appear. Tool feature

Bibtex

@INPROCEEDINGS{ChevalDelauneCCS26,
  AUTHOR = {Vincent Cheval and Stéphanie Delaune},
  TITLE = {Symbolic Protocol Verification modulo {XOR} in {ProVerif}},
  BOOKTITLE = {Proceedings of the 2026 ACM SIGSAC Conference on Computer and Communications Security, CCS 2026},
  YEAR = {2026},
  OPTPAGES = {},
  MONTH = NOV,
  PUBLISHER = {ACM Press},
  NOTE = {To appear}
}