Login / Signup
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract).
Guglielmo Fachini
Catalin Hritcu
Marco Stronati
Ana Nora Evans
Théo Laurent
Arthur Azevedo de Amorim
Benjamin C. Pierce
Andrew Tolmach
Published in:
CoRR (2017)
Keyphrases
</>
extended abstract
low level
high level
higher level
real time
software components
information retrieval
database systems
multiscale
low level features
data encryption
knowledge compilation
security issues
visual features
computer vision
learning algorithm
data mining