Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan. Verifying security invariants in ExpressOS. In Vivek Sarkar, Rastislav Bodík, editors, Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, Houston, TX, USA - March 16 - 20, 2013. pages 293-304, ACM, 2013. [doi]
@inproceedings{MaiPXKM13,
title = {Verifying security invariants in ExpressOS},
author = {Haohui Mai and Edgar Pek and Hui Xue and Samuel Talmadge King and Parthasarathy Madhusudan},
year = {2013},
doi = {10.1145/2451116.2451148},
url = {http://doi.acm.org/10.1145/2451116.2451148},
researchr = {https://researchr.org/publication/MaiPXKM13},
cites = {0},
citedby = {0},
pages = {293-304},
booktitle = {Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, Houston, TX, USA - March 16 - 20, 2013},
editor = {Vivek Sarkar and Rastislav Bodík},
publisher = {ACM},
isbn = {978-1-4503-1870-9},
}