A logic for information flow in object-oriented programs
From MaRDI portal
Publication:5348916
DOI10.1145/1111037.1111046zbMath1369.68127OpenAlexW1986681115MaRDI QIDQ5348916
Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee
Publication date: 21 August 2017
Published in: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1111037.1111046
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements ⋮ Product programs and relational program logics ⋮ Instruction-level security analysis for information flow in stack-based assembly languages ⋮ Automating regression verification of pointer programs by predicate abstraction ⋮ Symbolic abstract heaps for polymorphic information-flow guard inference ⋮ From Exponential to Polynomial-Time Security Typing via Principal Types ⋮ Program equivalence by circular reasoning ⋮ Optimality and condensing of information flow through linear refinement ⋮ Relational bytecode correlations ⋮ Abstract Certification of Global Non-interference in Rewriting Logic ⋮ Relational Decomposition ⋮ A Machine-Checked Framework for Relational Separation Logic ⋮ Secure information flow by self-composition