Categorical Composable Cryptography (Broadbent and Karvonen, 2021)

• Attack models
• One-time pad protocol
• Diffie Hellman key exchange
• efficient sequence of finite sets
• computational indistinguishability

@article{broadbent23,
  author       = {Anne Broadbent and
                  Martti Karvonen},
  title        = {Categorical composable cryptography: extended version},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {19},
  number       = {4},
  year         = {2023},
  url          = {https://doi.org/10.46298/lmcs-19(4:30)2023},
  doi          = {10.46298/LMCS-19(4:30)2023},
  timestamp    = {Sun, 04 Aug 2024 19:51:37 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BroadbentK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}