@inproceedings{DBLP:conf/ccs/BaeldeKS24,
  author       = {David Baelde and
                  Adrien Koutsos and
                  Justine Sauvage},
  editor       = {Bo Luo and
                  Xiaojing Liao and
                  Jun Xu and
                  Engin Kirda and
                  David Lie},
  title        = {Foundations for Cryptographic Reductions in {CCSA} Logics},
  booktitle    = {Proceedings of the 2024 on {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, {CCS} 2024, Salt Lake City, UT, USA, October
                  14-18, 2024},
  pages        = {2814--2828},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3658644.3690193},
  doi          = {10.1145/3658644.3690193},
  timestamp    = {Sun, 22 Dec 2024 15:48:20 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/BaeldeKS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}