Value-dependent information-flow security on weak memory models

DOI10.1007/978-3-030-30942-8_32zbMATH Open1539.68041MaRDI QIDQ6535968

Graeme Smith, Toby Murray, Nicholas Coughlin

Publication date: 14 March 2024

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Mathematical problems of computer architecture (68M07) Computer security (68M25)

Cites Work

• Isabelle/HOL. A proof assistant for higher-order logic
• A wide-spectrum language for verification of programs on weak memory models
• Dependent information flow types
• On the verification problem for weak memory models
• Information Security and Cryptology - ICISC 2005

This page was built for publication: Value-dependent information-flow security on weak memory models

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