Timos Antonopoulos, Paul Gazzillo, Michael Hicks 0001, Eric Koskinen, Tachio Terauchi, Shiyi Wei
Decomposition instead of self-composition for proving the absence of timing channels
PLDI, 2017.
@inproceedings{PLDI-2017-AntonopoulosGHK,
author = "Timos Antonopoulos and Paul Gazzillo and Michael Hicks 0001 and Eric Koskinen and Tachio Terauchi and Shiyi Wei",
booktitle = "{Proceedings of the 38th Conference on Programming Language Design and Implementation}",
doi = "10.1145/3062341.3062378",
isbn = "978-1-4503-4988-8",
pages = "362--375",
publisher = "{ACM}",
title = "{Decomposition instead of self-composition for proving the absence of timing channels}",
year = 2017,
}