ETD

Digital archive of theses discussed at the University of Pisa

 

Tesi etd-04192021-101249


Thesis type
Tesi di dottorato di ricerca
Author
BUSI, MATTEO
URN
etd-04192021-101249
Thesis title
Secure Compilation All the Way Down
Academic discipline
INF/01
Course of study
INFORMATICA
Supervisors
tutor Prof. Degano, Pierpaolo
relatore Dott. Galletta, Letterio
Keywords
  • type systems
  • control-flow flattening
  • constant-time policy
  • translation validation
  • full abstraction
  • secure compilation
  • language-based security
Graduation session start date
26/04/2021;
Consultabilità
Completa
Summary
File