@PhDThesis{vlk:phd-thesis:2019,
  title     = "Improving performance and security of indirect memory references on speculative execution machines",
  author    = "Vladimir Kiriansky",
  month     = "Jun",
  year      = "2019",
  url       = "https://groups.csail.mit.edu/commit/papers/2019/vkiriansky19phd.pdf",
  keywords  = "DSL, Security",
  type      = "Ph.D. Thesis",
  address   = "Cambridge, MA",
  school    = "Massachusetts Institute of Technology",
}