Witnessing secure compilation

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

Lucas M. Tabajara, Kedar S. Namjoshi

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)

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)