@inproceedings{baelde:hal-05453231,
  TITLE = {{Leveraging Cryptographic Simulator Synthesis for Formally Verifying the FOO E-Voting Protocol}},
  AUTHOR = {Baelde, David and Koutsos, Adrien and Sauvage, Justine},
  URL = {https://inria.hal.science/hal-05453231},
  BOOKTITLE = {{Usenix 2026 - 35th Usenix security symposium}},
  ADDRESS = {Baltimore, United States},
  YEAR = {2026},
  MONTH = Aug,
  PDF = {https://inria.hal.science/hal-05453231v1/file/sim-synthesis-foo.pdf},
  HAL_ID = {hal-05453231},
  HAL_VERSION = {v1},
}