2026-07-25T14:07:55Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9891 2024-03-06T10:26:56Z ddc:004 open_access

Secure Compilation (Dagstuhl Seminar 18201) Ahmed, Amal Garg, Deepak Hritcu, Catalin Piessens, Frank secure compilation low-level attacks source-level reasoning attacker models full abstraction hyperproperties enforcement mechanisms compartmentalization security architectures side-channels Secure compilation is an emerging field that puts together advances in security, programming languages, verification, systems, and hardware architectures in order to devise secure compilation chains that eliminate many of today's vulnerabilities. Secure compilation aims to protect a source language's abstractions in compiled code, even against low-level attacks. For a concrete example, all modern languages provide a notion of structured control flow and an invoked procedure is expected to return to the right place. However, today's compilation chains (compilers, linkers, loaders, runtime systems, hardware) cannot efficiently enforce this abstraction: linked low-level code can call and return to arbitrary instructions or smash the stack, blatantly violating the high-level abstraction. The emerging secure compilation community aims to address such problems by devising formal security criteria, efficient enforcement mechanisms, and effective proof techniques. This seminar strived to take a broad and inclusive view of secure compilation and to provide a forum for discussion on the topic. The goal was to identify interesting research directions and open challenges by bringing together people working on building secure compilation chains, on developing proof techniques and verification tools, and on designing security mechanisms. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Amal Ahmed and Deepak Garg and Catalin Hritcu and Frank Piessens 2018 Is Part Of Dagstuhl Reports, Volume 8, Issue 5 (2019) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.8.5.1 urn:nbn:de:0030-drops-98911 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.5.1 eng https://creativecommons.org/licenses/by/3.0/legalcode