Login / Signup
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract).
Deepak Garg
Catalin Hritcu
Marco Patrignani
Marco Stronati
David Swasey
Published in:
CoRR (2017)
Keyphrases
</>
extended abstract
security issues
machine learning
databases
case study
feature descriptors
highly efficient
parameter tuning