Secure Composition of Robust and Optimising Compilers

arXiv:2307.08681v2 Announce Type: replace
Abstract: To ensure that secure applications do not leak their secrets, they are required to uphold several security properties such as spatial and temporal memory safety as well as cryptographic constant time. Existing work shows how to enforce these properties individually, in an architecture-independent way, by using secure compiler passes that each focus on an individual property. Unfortunately, given two secure compiler passes that each preserve a possibly different security property, it is unclear what kind …

applications architecture arxiv compiler compilers cryptographic cs.cr cs.pl leak memory memory safety safety secrets security temporal uphold using work