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.

Actions

Actions (login required)

View Item View Item