@misc{indiciae733fa7a497f8,
  title = {Practical and Scalable Security Verification of Secure Architectures},
  author = {Jakub Szefer and Tianwei Zhang and Ruby B. Lee},
  year = {2018},
  url = {https://arxiv.org/abs/1807.01854},
  note = {Source identifier: 1807.01854}
}