On flow-sensitive security types

DOI10.1145/1111037.1111045zbMath1370.68053MaRDI QIDQ5348914

David Sands, Sebastian Hunt

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://openaccess.city.ac.uk/id/eprint/194/2/floatingX.pdf

zbMATH Keywords

static analysis; type systems; non-interference; information flow; flow-sensitivity

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Unnamed Item, Relational bytecode correlations, Type systems equivalent to data-flow analyses for imperative languages, Integration of a security type system into a program logic, Program and proof optimizations with type systems, Controlling file access with types, A survey of challenges for runtime verification from advanced application domains (beyond software), Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types, Instruction-level security analysis for information flow in stack-based assembly languages, Survey on JavaScript security policies and their enforcement mechanisms in a web browser, Optimality and condensing of information flow through linear refinement, From Exponential to Polynomial-Time Security Typing via Principal Types, Abstract Certification of Global Non-interference in Rewriting Logic, Relational Decomposition, Abstract Interpretation of Symbolic Execution with Explicit State Updates