%0 Conference Paper %1 conf/pldi/AntonopoulosGHK17 %A Antonopoulos, Timos %A Gazzillo, Paul %A Hicks, Michael %A Koskinen, Eric %A Terauchi, Tachio %A Wei, Shiyi %B PLDI %D 2017 %E Cohen, Albert %E Vechev, Martin T. %I ACM %K %P 362-375 %T Decomposition instead of self-composition for proving the absence of timing channels. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2017.html#AntonopoulosGHK17 %@ 978-1-4503-4988-8

@inproceedings{conf/pldi/AntonopoulosGHK17, added-at = {2023-12-13T10:38:59.000+0100}, author = {Antonopoulos, Timos and Gazzillo, Paul and Hicks, Michael and Koskinen, Eric and Terauchi, Tachio and Wei, Shiyi}, biburl = {https://www.bibsonomy.org/bibtex/2b878273f0f2f402f6f6a55461e15e180/admin}, booktitle = {PLDI}, crossref = {conf/pldi/2017}, editor = {Cohen, Albert and Vechev, Martin T.}, ee = {https://doi.org/10.1145/3062341.3062378}, interhash = {d98c760315ac1e5ba1cf44afad794015}, intrahash = {b878273f0f2f402f6f6a55461e15e180}, isbn = {978-1-4503-4988-8}, keywords = {}, pages = {362-375}, publisher = {ACM}, timestamp = {2023-12-13T10:38:59.000+0100}, title = {Decomposition instead of self-composition for proving the absence of timing channels.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2017.html#AntonopoulosGHK17}, year = 2017 }