Information-flow control on ARM and POWER multicore processors

DOI10.1007/S10703-021-00376-2MaRDI QIDQ2147697zbMATHOpenAlexFDO

Authors Yanyan Li

Publication date 20 June 2022

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-021-00376-2

zbMATH Keywords

weak memory modelsinformation-flow securitynon-blocking algorithms

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Mathematical problems of computer architecture (68M07)

Recommendations

• Verification of Concurrent Programs on Weak Memory Models
• scientific article; zbMATH DE number 1759625
• Parallelized sequential composition and hardware weak memory models
• Security for multithreaded programs under cooperative scheduling
• Securing interaction between threads and the scheduler in the presence of synchronization

Cites work

• scientific article; zbMATH DE number 7649976 (Why is no real title available?)
• A promising semantics for relaxed-memory concurrency
• A wide-spectrum language for verification of programs on weak memory models
• An axiomatic basis for computer programming
• Dependent information flow types
• Information Security and Cryptology - ICISC 2005
• Isabelle/HOL. A proof assistant for higher-order logic
• The verified CakeML compiler backend
• Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29--April 6, 2008. Proceedings

Cited in

(1)

• Value-dependent information-flow security on weak memory models

Describes a project that uses

Uses Software

• Isabelle/HOL
• z3
• CompCert

This page was built for publication: Information-flow control on ARM and POWER multicore processors

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