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]