Login / Signup
Contract-Aware Secure Compilation.
Marco Guarnieri
Marco Patrignani
Published in:
CoRR (2020)
Keyphrases
</>
supply chain
covert channel
security requirements
sensitive data
security analysis
cryptographic protocols
database systems
lightweight
security issues
user authentication
group communication
key agreement protocol