Dissertation: Timing Sensitive Dependency Analysis and its Application to Software Security

I present new methods for the static analysis of timing sensitive information flow control in software systems. I apply these methods in the analysis of concurrent Java programs, as well as the analysis of timing side-channels in implementations of cryptographic primitives.