E-mail senden
E-Mail Adresse kopieren
⬤
EN
DE
(current)
Back to previous menu level
Menu
Home
Forschung
Übersicht
Verlässliche InformationsVerarbeitung
Zuverlässige Sicherheitsgarantien
Erkennungs- und VerteidigungsMechanismen
Sichere Mobile und Autonome Systeme
Empirische und Verhaltensorientierte Sicherheit
Publikationen
Projekte und Kooperationen
Auszeichnungen
Über uns
Übersicht
Organisation
Die Medienseite des Direktors
Beschaffung und Vergabestelle
Personen
Karriere
Übersicht
FAQ
Job Openings
News & Events
Übersicht
Kommunikation
Transfer & Outreach
Übersicht
Ventures
Strategische Partnerschaft
Talente, Spezialisten und Öffentlichkeit
Kontakt
Home
Forschung
Publikationen
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)
2017-10
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)
Tags
Zuverlässige Sicherheitsgarantien
Workshop
1st Workshop on Principles of Secure Compilation
Veröffentlichungsdatum
2017-10
Letztes Änderungsdatum
2019-07-18 12:09:24
Autor:innen
Deepak Garg
Cătălin Hriţcu
Marco Patrignani
Marco Stronati
David Swasey
Herunterladen