Value-dependent information-flow security on weak memory models

DOI10.1007/978-3-030-30942-8_32MaRDI QIDQ6535968zbMATH OpenFDO

Authors Graeme Smith, Nicholas Coughlin, Toby Murray

Publication date 14 March 2024

Mathematics Subject Classification ID

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

Recommendations

• Information-flow control on ARM and POWER multicore processors
• Semantic models for the security of sequential and concurrent programs
• scientific article; zbMATH DE number 2084343
• Verification of Concurrent Programs on Weak Memory Models
• scientific article; zbMATH DE number 1759625

Cites work

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

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)