Minh Ngo, Fabio Massacci, Dimiter Milushev, Frank Piessens
Runtime Enforcement of Security Policies on Black Box Reactive Programs
POPL, 2015.
@inproceedings{POPL-2015-NgoMMP,
author = "Minh Ngo and Fabio Massacci and Dimiter Milushev and Frank Piessens",
booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}",
doi = "10.1145/2676726.2676978",
isbn = "978-1-4503-3300-9",
pages = "43--54",
publisher = "{ACM}",
title = "{Runtime Enforcement of Security Policies on Black Box Reactive Programs}",
year = 2015,
}