Compile-time detection of information flow in sequential programs
From MaRDI portal
Publication:826055
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
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.