@misc{indiciae81424fee198c,
  title = {Security Properties through the Lens of Modal Logic},
  author = {Matvey Soloviev and Musard Balliu and Roberto Guanciale},
  year = {2023},
  url = {https://arxiv.org/abs/2309.09542},
  note = {Source identifier: 2309.09542}
}