@misc{indiciae8a8f25158815,
  title = {Automatically Proving Microkernels Free from Privilege Escalation from their Executable},
  author = {Olivier Nicole and Matthieu Lemerre and Sébastien Bardin and Xavier Rival},
  year = {2020},
  url = {https://arxiv.org/abs/2003.08915},
  note = {Source identifier: 2003.08915}
}