@inproceedings{FORTE2022,
  title         = {Process Algebra Can Save Lives: Static Analysis of {XACML} Access Control Policies using {mCRL2}},
  author        = {Hamed Arshad and Ross Horne and Christian Johansen and Olaf Owe and Tim Willemse},
  year          = {2022},
  booktitle     = {FORTE 2022 - 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems},
  editor        = {Mousavi, M.R. and Philippou, A.},
  series        = {Lecture Notes in Computer Science},
  volume        = {13273},
  publisher     = {Springer},
  doi           = {10.1007/978-3-031-08679-3_2},
  url           = {https://www.youtube.com/watch?v=KipRNgnkcsM}
}