Yusuke Kawamoto, Thomas Given-Wilson
Quantitative Information Flow for Scheduler-Dependent Systems
QAPL, 2015.
@inproceedings{QAPL-2015-KawamotoG, author = "Yusuke Kawamoto and Thomas Given-Wilson", booktitle = "{Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems}", doi = "10.4204/EPTCS.194.4", pages = "48--62", series = "{EPTCS}", title = "{Quantitative Information Flow for Scheduler-Dependent Systems}", volume = 194, year = 2015, }