@Article{ lux.starostin:tool, author = {Alexander Lux and Artem Starostin}, title = {A Tool for Static Detection of Timing Channels in Java}, journal = {Journal of Cryptographic Engineering (JCEN)}, volume = 1, number = 4, pages = {303--313}, year = 2011, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2011/scf-jcen11.pdf} }