Witnessing secure compilation

DOI10.1007/978-3-030-39322-9_1MaRDI QIDQ784104OpenAlexFDO

Authors Kedar S. Namjoshi, Lucas M. Tabajara

Publication date 5 August 2020

Full work available at URL https://arxiv.org/abs/1911.05866

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Securing a compiler transformation
• Robustly safe compilation
• Securing a compiler transformation
• Certificate Translation for Optimizing Compilers
• Trace-relating compiler correctness and secure compilation

Cited in

(3)

• A temporal logic for asynchronous hyperproperties
• Bounded model checking for asynchronous hyperproperties
• Efficient loop conditions for bounded model checking hyperproperties

This page was built for publication: Witnessing secure compilation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784104)