@misc{indiciae1cc9936b353b,
  title = {SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency (Extended version with technical appendices)},
  author = {Pengbo Yan and Toby Murray},
  year = {2021},
  url = {https://arxiv.org/abs/2109.03602},
  note = {Source identifier: 2109.03602}
}