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
Excellence Program
News & Events
Overview
Podcast
CISPA DLS
zine
Videos
Glossary
Media Relations
Display
No Coffee, No Research
Technology Transfer
Overview
Startups & Entrepreneurship
Product Labs
Contact
Knowledge Transfer
Overview
Cysec Lab
Cysec Lab News
Citizen Science
Contact
Home
Research
Publications
Composing Secure Compilers
2022-01-22
Composing Secure Compilers
Summary
No description available
Tags
Reliable Security Guarantees
Conference Paper
Workshop on Principles of Secure Compilation (PriSC)
Date published
2022-01-22
Date last modified
2024-04-17
Authors
Matthis Kruse
Marco Patrignani
Full Paper