APA (7th ed.) Citation

Dupressoir, F., Kohbrok, K., & Oechsner, S. (2022, August). Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox. 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 227-242. https://doi.org/10.1109/CSF54842.2022.9919671

Chicago Style (17th ed.) Citation

Dupressoir, Francois, Konrad Kohbrok, and Sabine Oechsner. "Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox." 2022 IEEE 35th Computer Security Foundations Symposium (CSF) Aug. 2022: 227-242. https://doi.org/10.1109/CSF54842.2022.9919671.

MLA (9th ed.) Citation

Dupressoir, Francois, et al. "Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox." 2022 IEEE 35th Computer Security Foundations Symposium (CSF), Aug. 2022, pp. 227-242, https://doi.org/10.1109/CSF54842.2022.9919671.