Static Analysis
From MaRDI portal
Publication:5897442
DOI10.1007/11547662zbMath1141.68380OpenAlexW4229853237MaRDI QIDQ5897442
Publication date: 31 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11547662
Related Items
Verifying Procedural Programs via Constrained Rewriting Induction, Automated enforcement for relaxed information release with reference points, Product programs in the wild: retrofitting program verifiers to check information flow security, Constraint-based relational verification, Product programs and relational program logics, Observational purity and encapsulation, Symbolic abstract heaps for polymorphic information-flow guard inference, Sound symbolic execution via abstract interpretation and its application to security, RHLE: modular deductive verification of relational \(\forall \exists\) properties, Model checking the observational determinism security property using PROMELA and SPIN, Unnamed Item, Formal verification of side-channel countermeasures using self-composition, Is Your Software on Dope?, Modular Verification of Procedure Equivalence in the Presence of Memory Allocation, Precise quantitative information flow analysis -- a symbolic approach, Quantitative information flow as safety and liveness hyperproperties, Efficient Information-Flow Verification Under Speculative Execution, Compositional model checking for multi-properties, Decomposing data structure commutativity proofs with \(mn\)-differencing, Information Theory and Security: Quantitative Information Flow, Relational bytecode correlations, Relational Decomposition
Uses Software
