Static Enforcement of Security in Runtime Systems

Mathias Vorreiter Pedersen, Aslan Askarov. Static Enforcement of Security in Runtime Systems. In 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019. pages 335-350, IEEE, 2019. [doi]

@inproceedings{PedersenA19,
  title = {Static Enforcement of Security in Runtime Systems},
  author = {Mathias Vorreiter Pedersen and Aslan Askarov},
  year = {2019},
  doi = {10.1109/CSF.2019.00030},
  url = {https://doi.org/10.1109/CSF.2019.00030},
  researchr = {https://researchr.org/publication/PedersenA19},
  cites = {0},
  citedby = {0},
  pages = {335-350},
  booktitle = {32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019},
  publisher = {IEEE},
  isbn = {978-1-7281-1407-1},
}