Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Baelde, Stéphanie Delaune, Adrien Koutsos, Solène Moreau. Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant. In 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022. pages 289-304, IEEE, 2022. [doi]

This author has not been identified. Look up 'David Baelde' in GoogleThis author has not been identified. Look up 'Stéphanie Delaune' in GoogleThis author has not been identified. Look up 'Adrien Koutsos' in GoogleThis author has not been identified. Look up 'Solène Moreau' in Google

runs on WebDSL