Secure Compilation and Hyperproperty Preservation

Patrignani, Marco; Garg, Deepak

doi:10.1109/CSF.2017.13

Local TagsRelease HistoryDetailsSummary

Secure Compilation and Hyperproperty Preservation

Patrignani, M., & Garg, D. (2017). Secure Compilation and Hyperproperty Preservation. In IEEE 30th Computer Security Foundations Symposium (pp. 392-404). Piscataway, NJ: IEEE. doi:10.1109/CSF.2017.13.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0000-8EE8-B Version Permalink: https://hdl.handle.net/21.11116/0000-0000-8EE9-A

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Patrignani, Marco¹, Author
Garg, Deepak¹, Author

Affiliations:
1Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105289

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2017Date issued: 2017

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: PatrignaniCSF2017
DOI: 10.1109/CSF.2017.13

Degree: -

Event

show

hide

Title: 30th Computer Security Foundations Symposium

Place of Event: Santa Barbara, CA, USA

Start-/End Date: 2017-08-21 - 2017-08-25

Legal Case

show

Project information

show

Source 1

show

hide

Title: IEEE 30th Computer Security Foundations Symposium

Abbreviation : CSF 2017

Subtitle : Proceedings ; CSF 2017

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: Piscataway, NJ : IEEE

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 392 - 404 Identifier: ISBN: 978-1-5386-3217-8