@inproceedings{ChevalCK-csf22,
  title = "Symbolic protocol verification with dice: process equivalences in the presence of probabilities",
  author = "Vincent Cheval and Rapha{\"{e}}lle Crubill{\'{e}} and Steve Kremer",
  year = "2022",
  booktitle = "35th {IEEE} Computer Security Foundations Symposium, {CSF} 2022, Haifa, Israel, August 7-10, 2022",
  pages = "319--334",
  publisher = "{IEEE}",
  url = "https://www.cs.ox.ac.uk/people/vincent.cheval/publis/CCK-csf22.pdf",
  doi = "10.1109/CSF54842.2022.9919644",
}