@InProceedings{ lux.ea:tool:2011, author = {Alexander Lux and Artem Starostin}, booktitle = {Proceedings of the 2nd International Workshop on Constructive Side-Channel Analysis and Secure Design (COSADE)}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2011/Lux-Starostin-COSADE-2011.pdf}, title = {A Tool for Static Detection of Timing Channels in Java}, year = 2011 }