Symbolic protocol verification with dice: process equivalences in the presence of probabilities - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vincent Cheval, Raphaëlle Crubillé, Steve Kremer. Symbolic protocol verification with dice: process equivalences in the presence of probabilities. In 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022. pages 319-334, IEEE, 2022. [doi]

This author has not been identified. Look up 'Vincent Cheval' in GoogleThis author has not been identified. Look up 'Raphaëlle Crubillé' in GoogleThis author has not been identified. Look up 'Steve Kremer' in Google

runs on WebDSL