Robustly Safe Compilation or, Efficient, Provably Secure Compilation.

Marco Patrignani Deepak Garg

Published in: CoRR (2018)

Keyphrases

provably secure
standard model
key management
security model
lightweight
public key
security policies
blind signature