Symbolic abstract heaps for polymorphic information-flow guard inference

DOI10.1007/978-3-031-24950-1_4zbMath1529.68079arXiv2211.03450OpenAlexW4316662773MaRDI QIDQ6132488

Narges Khakpour, Nicolas Berthier

Publication date: 17 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2211.03450

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• A security flow control algorithm and its denotational semantics correctness proof
• Monotone data flow analysis frameworks
• Secure information flow by self-composition
• Abstract non-interference
• Secure Information Flow as a Safety Property
• Graph-Based Algorithms for Boolean Function Manipulation
• Certification of programs for secure information flow
• Precise interprocedural dataflow analysis with applications to constant propagation
• Information flow inference for ML
• A logic for information flow in object-oriented programs
• A Certified Lightweight Non-interference Java Bytecode Verifier
• Static Analysis