Cheval, V., Crubillé, R., & Kremer, S. (2022). Symbolic protocol verification with dice: process equivalences in the presence of probabilities. In (pp. 319–334). Haifa, Israel: IEEE. http://doi.org/10.1109/CSF54842.2022.9919644 (Original work published 2025)
First name
Vincent
Last name
Cheval