Compile-time detection of information flow in sequential programs

DOI10.1007/3-540-58618-0_56zbMath1477.68074OpenAlexW1990048025MaRDI QIDQ826055

Daniel Le Métayer, Ciarán Bryce, Jean-Pierre Banâtre

Publication date: 20 December 2021

Full work available at URL: https://doi.org/10.1007/3-540-58618-0_56

zbMATH Keywords

formal verificationprogram analysiscomputer securityverification toolsinformation flow

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computer security (68M25)

Related Items

Instruction-level security analysis for information flow in stack-based assembly languages, Abstract interpretation of operational semantics for secure information flow.