@misc{indiciaef3a0270aee59,
  title = {Automated SELinux RBAC Policy Verification Using SMT},
  author = {Divyam Pahuja and Alvin Tang and Klim Tsoutsman},
  year = {2023},
  url = {https://arxiv.org/abs/2312.04586},
  note = {Source identifier: 2312.04586}
}