Recherche - Université de Toulon

Filtrer vos résultats

2 résultats
Image document

Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version)

Vincent Cheval , Raphaëlle Crubillé , Steve Kremer
2023
Pré-publication, Document de travail hal-03683907v2
Image document

Symbolic protocol verification with dice

Vincent Cheval , Raphaëlle Crubillé , Steve Kremer
Journal of Computer Security, 2023, pp.1-38. ⟨10.3233/JCS-230037⟩
Article dans une revue hal-04179875v1