A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif - researchr publication

researchr

You are not signed in
Sign in
Sign up

Vincent Cheval, Véronique Cortier, Mathieu Turuani. A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif. In 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018. pages 344-358, IEEE Computer Society, 2018. [doi]

Abstract is missing.

runs on WebDSL