@inproceedings{kawamoto:hal-01114778, TITLE = {{Quantitative Information Flow for Scheduler-Dependent Systems}}, AUTHOR = {Kawamoto, Yusuke and Given-Wilson, Thomas}, URL = {https://inria.hal.science/hal-01114778}, BOOKTITLE = {{The 13th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015)}}, ADDRESS = {London, United Kingdom}, SERIES = {Electronic Proceedings in Theoretical Computer Science}, PAGES = {to appear}, YEAR = {2015}, MONTH = Apr, KEYWORDS = {Quantitative information flow ; Composition ; Scheduling ; Information leakage ; Min-entropy leakage ; Observer}, PDF = {https://inria.hal.science/hal-01114778/file/QAPL2015long.pdf}, HAL_ID = {hal-01114778}, HAL_VERSION = {v1}, }