Secure Compilation

Chisnall, David; Garg, Deepak; Hriţcu, Cătălin; Payer, Mathias

doi:10.4230/DagRep.11.10.173

Local TagsRelease HistoryDetailsSummary

Secure Compilation

Chisnall, D., Garg, D., Hriţcu, C., & Payer, M. (Eds.). (2022). Secure Compilation. Wadern: Schloss Dagstuhl. doi:10.4230/DagRep.11.10.173.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-000A-7E99-D Version Permalink: https://hdl.handle.net/21.11116/0000-000A-7E9A-C

Genre: Proceedings

Files

show Files

Locators

show

hide

Locator:
https://drops.dagstuhl.de/opus/volltexte/2022/15933/ (Publisher version) Open Access status unknown

Description:
-

OA-Status:

Creators

show

hide

Creators:
Chisnall, David¹, Editor
Garg, Deepak², Editor
Hriţcu, Cătălin¹, Editor
Payer, Mathias¹, Editor

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

Content

show

Details

show

hide

Language(s): eng - English

Dates: Accepted: 2021Published Online: 2022

Publication Status: Published online

Pages: -

Publishing info: Wadern : Schloss Dagstuhl

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Chisnall_2021
URN: urn:nbn:de:0030-drops-159332
DOI: 10.4230/DagRep.11.10.173

Degree: -

Event

show

hide

Title: Dagstuhl Seminar 21481 "Secure Compilation"

Place of Event: Dagstuhl, Germany

Start-/End Date: 2021-11-28 - 2021-12-03

Legal Case

show

Project information

show

Source 1

show

hide

Title: Dagstuhl Reports

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 11 (10) Sequence Number: - Start / End Page: 173 - 204 Identifier: -