COSADE Publication

The paper "A Tool for Static Detection of Timing Channels in Java" by Alexander Lux and Artem Starostin has been accepted for publication at COSADE 2011 (Constructive Side-Channel Analysis and Secure Design).