Value-dependent information-flow security on weak memory models

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

Authors: Graeme Smith, Nicholas Coughlin, Toby Murray 

Publication date: 14 March 2024

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

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)

Cites Work

• Isabelle/HOL. A proof assistant for higher-order logic
• On the verification problem for weak memory models
• A wide-spectrum language for verification of programs on weak memory models
• Dependent information flow types
• 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)