On flow-sensitive security types
From MaRDI portal
Publication:5348914
DOI10.1145/1111037.1111045zbMath1370.68053MaRDI QIDQ5348914
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
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
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, 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