Symbolic Synthesis of Indifferentiability Attacks-Reference-Cited by-同舟云学术

Symbolic Synthesis of Indifferentiability Attacks

Published:2022-05-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2022 ACM on Asia Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Rakotonirina Itsaka¹,Ambrona Miguel²,Aguirre Alejandro³,Barthe Gilles⁴

Affiliation:

1. MPI-SP, Bochum, Germany

2. Nomadic Labs, Paris, France

3. Aarhus University, Aarhus, Denmark

4. MPI-SP & IMDEA Software Institute, Bochum, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3488932.3497759

Reference63 articles.

1. Martín Abadi , Bruno Blanchet , and Cédric Fournet . 2017. The applied pi calculus: Mobile values, new names, and secure communication. Journal of the ACM (JACM) ( 2017 ). Martín Abadi, Bruno Blanchet, and Cédric Fournet. 2017. The applied pi calculus: Mobile values, new names, and secure communication. Journal of the ACM (JACM) (2017).

2. Deciding knowledge in security protocols under equational theories

3. Miguel Ambrona , Gilles Barthe , Romain Gay , and Hoeteck Wee . 2017. Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions . In ACM CCS 2017: 24th Conference on Computer and Communications Security , Bhavani M. Thuraisingham, David Evans, Tal Malkin, and Dongyan Xu (Eds.). ACM Press , Dallas, TX, USA , 647--664. https://doi.org/10.1145/3133956.3134088 10.1145/3133956.3134088 Miguel Ambrona, Gilles Barthe, Romain Gay, and Hoeteck Wee. 2017. Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions. In ACM CCS 2017: 24th Conference on Computer and Communications Security, Bhavani M. Thuraisingham, David Evans, Tal Malkin, and Dongyan Xu (Eds.). ACM Press, Dallas, TX, USA, 647--664. https://doi.org/10.1145/3133956.3134088

4. Miguel Ambrona , Gilles Barthe , and Benedikt Schmidt . 2016 . Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model. In Advances in Cryptology -- EUROCRYPT 2016 , Part II (Lecture Notes in Computer Science , Vol. 9666), Marc Fischlin and Jean-Sé bastien Coron (Eds.). Springer, Heidelberg, Germany, Vienna, Austria, 822-- 851 . https://doi.org/10.1007/978-3-662-49896-5_29 10.1007/978-3-662-49896-5_29 Miguel Ambrona, Gilles Barthe, and Benedikt Schmidt. 2016. Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model. In Advances in Cryptology -- EUROCRYPT 2016, Part II (Lecture Notes in Computer Science, Vol. 9666), Marc Fischlin and Jean-Sé bastien Coron (Eds.). Springer, Heidelberg, Germany, Vienna, Austria, 822--851. https://doi.org/10.1007/978-3-662-49896-5_29