Treffer: Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Title:
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Authors:
Source:
2019 IEEE 32nd Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2019 IEEE 32nd. :256-25615 Jun, 2019
Relation:
2019 IEEE 32nd Computer Security Foundations Symposium (CSF)
Database:
IEEE Xplore Digital Library