Secure Compilation and Hyperproperty Preservation.

Marco Patrignani Deepak Garg

Published in: CSF (2017)

Keyphrases

security issues
security requirements
security mechanisms
key management
neural network
long term
authentication scheme
information systems
digital libraries
sensitive data
security analysis
standard model
code generation
group communication
data encryption