Send email
Copy Email Address
⬤
EN
(current)
DE
Back to previous menu level
Menu
Home
Research
Overview
Algorithmic Foundations and Cryptography
Trustworthy Information Processing
Reliable Security Guarantees
Threat Detection and Defenses
Secure Connected and Mobile Systems
Empirical and Behavioral Security
Publications
Funded Projects & Collaborations
Awards
About CISPA
Overview
Organization
Director's Page
Procurement
invoicing-e-invoice
People
Career
Overview
FAQ
Job Openings
News & Events
Overview
Podcast
CISPA DLS
zine
Videos
Glossary
Media Relations
Transfer & Outreach
Overview
Startups and Entrepreneurship
strategic partnerships
TALENTS, SPECIALISTS & PUBLIC
Cispa Innovation Campus
Contact
Home
Research
Publications
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)
2017-10
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)
Tags
Trustworthy Information Processing
Workshop
1st Workshop on Principles of Secure Compilation
Date published
2017-10
Date last modified
2019-07-18 12:09:24
Authors
Deepak Garg
Cătălin Hriţcu
Marco Patrignani
Marco Stronati
David Swasey
Download