@misc{ TCG+26,
  author        = {Noemi Terzo and Cas Cremers and Ruben Gonzalez and Peter Schwabe and Yuval Yarom and Zhiyuan Zhang},
  title         = {Formal Security Analysis of the {O}lvid Messenger},
  booktitle     = {Proceedings of the 2026 {ACM SIGSAC} Conference on Computer and Communications Security, {CCS'26}},
  publisher     = {ACM},
  pages         = {to appear},
  year          = {2026},
  note          = {\url{https://cryptojedi.org/papers/\#olvidgbu}},
}