Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)

Garg, Deepak and Hriţcu, Cătălin and Patrignani, Marco and Stronati, Marco and Swasey, David
(2017) Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract).
In: 1st Workshop on Principles of Secure Compilation.

Full text not available from this repository.
Item Type: Conference or Workshop Item (A Paper) (Paper)
Additional Information: http://adsabs.harvard.edu/abs/2017arXiv171007309G
Uncontrolled Keywords: Computer Science - Cryptography and Security, Computer Science - Programming Languages
Depositing User: Ben Stock
Date Deposited: 14 Feb 2018 12:47
Last Modified: 18 Jul 2019 12:09
Primary Research Area: NRA2: Reliable Security Guarantees
URI: https://publications.cispa.saarland/id/eprint/1438

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.