Witnessing secure compilation

DOI10.1007/978-3-030-39322-9_1OpenAlexW3004018778MaRDI QIDQ784104FDOQ784104

Authors: Kedar S. Namjoshi, Lucas M. Tabajara 

Publication date: 5 August 2020

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (3)

• A temporal logic for asynchronous hyperproperties
• Efficient loop conditions for bounded model checking hyperproperties
• Bounded model checking for asynchronous 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)