Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

François Dupressoir, Konrad Kohbrok, Sabine Oechsner. Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox. In 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022. pages 227-242, IEEE, 2022. [doi]

This author has not been identified. Look up 'François Dupressoir' in GoogleThis author has not been identified. Look up 'Konrad Kohbrok' in GoogleThis author has not been identified. Look up 'Sabine Oechsner' in Google

runs on WebDSL