Ph.D. thesis: Timing Sensitive Dependency Analysis and its Application to Software Security

[hecker20thesis]

Martin Hecker, Timing Sensitive Dependency Analysis and its Application to Software Security, Karlsruher Institut für Technologie, Fakultät für Informatik, September 2020.

Abstract

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.

Download

[PDF]

[DOI]

BibTeX

@phdthesis{hecker20thesis,
  title = {Timing Sensitive Dependency Analysis and its Application to Software Security},
  year = {2020},
  month = sep,
  author = {Martin Hecker},
  school = {Karlsruher Institut f{\"u}r Technologie, Fakult{\"a}t f{\"u}r Informatik},
  doi = {10.5445/IR/1000123689},
}

Authors at the institute

Former Staff Member
Dr.-Ing. Martin Hecker