The Quest for Formally Secure Compartmentalizing Compilation (bibtex)
by Catalin Hritcu
Reference:
The Quest for Formally Secure Compartmentalizing Compilation (Catalin Hritcu), PhD thesis, ENS Paris; PSL Research University, 2019.
Bibtex Entry:
@PhdThesis{Hritcu:19,
  author = {Catalin Hritcu},
  title = {The Quest for Formally Secure Compartmentalizing Compilation},
  school = {ENS Paris; PSL Research University},
  year = {2019},
  month =  jan,
  type = {Habilitation thesis},
  url = {http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin_habil.pdf},
  key = {Theses},
}
Powered by bibtexbrowser