A core calculus of dependency

A theory of type qualifiers

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation

Information flow inference for free

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming

Syntactic accidents in program analysis: on the impact of the CPS transformation

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming

Protecting privacy using the decentralized label model

ACM Transactions on Software Engineering and Methodology (TOSEM)

Type-based analysis and applications

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Security properties of typed applets

Secure Internet programming

Untrusted hosts and confidentiality: secure program partitioning

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles

Analyzing security protocols with secrecy types and logic programs

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A uniform type structure for secure information flow

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Representation independence, confinement and access control [extended abstract]

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Information flow inference for ML

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Checking security of Java bytecode by abstract interpretation

Proceedings of the 2002 ACM symposium on Applied computing

Secure program partitioning

ACM Transactions on Computer Systems (TOCS)

Information flow inference for ML

ACM Transactions on Programming Languages and Systems (TOPLAS)

A Per Model of Secure Information Flow in Sequential Programs

Higher-Order and Symbolic Computation

Secure Information Flow via Linear Continuations

Higher-Order and Symbolic Computation

A Per Model of Secure Information Flow in Sequential Programs

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems

Secure Information Flow as Typed Process Behaviour

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems

Semantics and Program Analysis of Computationally Secure Information Flow

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems

Secure Information Flow and CPS

ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems

A Prototype Dependency Calculus

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems

Boolean Constraints for Binding-Time Analysis

PADO '01 Proceedings of the Second Symposium on Programs as Data Objects

Design and Correctness of Program Transformations Based on Control-Flow Analysis

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software

Linearity and Bisimulation

FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures

The Impact of Synchronisation on Secure Information Flow in Concurrent Programs

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia

Securing Communication in a Concurrent Language

SAS '02 Proceedings of the 9th International Symposium on Static Analysis

Java Bytecode Verification: An Overview

CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification

Type systems

Programming methodology

A Static Calculus of Dependencies for the -Cube

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science

Fine-Grained Information Flow Analysis for a \lambda Calculus with Sum Types

CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations

Secure Information Flow and Pointer Confinement in a Java-like Language

CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations

A Simple View of Type-Secure Information Flow in the "-Calculus

CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations

Secure composition of untrusted code: box π, wrappers, and causality types

Journal of Computer Security - CSFW13

Java Bytecode Verification: Algorithms and Formalizations

Journal of Automated Reasoning

A Generic Approach to the Security of Multi-Threaded Programs

CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations

Abstract interpretation and model checking for checking secure information flow in concurrent systems

Fundamenta Informaticae - Concurrency specification and programming

A unifying approach to the security of distributed and multi-threaded programs

Journal of Computer Security - Special issue on CSFW14

Simple relational correctness proofs for static analyses and program transformations

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Channel dependent types for higher-order mobile processes

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Java bytecode verification for secure information flow

ACM SIGPLAN Notices

A conjunctive type system for useless-code elimination

Mathematical Structures in Computer Science

Automatic useless-code elimination for HOT functional programs

Journal of Functional Programming

Syntactic accidents in program analysis: on the impact of the CPS transformation

Journal of Functional Programming

Intensional polymorphism in type-erasure semantics

Journal of Functional Programming

On the secure implementation of security protocols

Science of Computer Programming - Special issue on 12th European symposium on programming (ESOP 2003)

Polymorphic specialization for ML

ACM Transactions on Programming Languages and Systems (TOPLAS)

Translating dependency into parametricity

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming

Analyzing security protocols with secrecy types and logic programs

Journal of the ACM (JACM)

A brief survey of program slicing

ACM SIGSOFT Software Engineering Notes

A monadic analysis of information flow security with mutable state

Journal of Functional Programming

Stack-based access control and secure information flow

Journal of Functional Programming

Noninterference through flow analysis

Journal of Functional Programming

Checking secure information flow in java bytecode by code transformation and standard bytecode verification

Software—Practice & Experience

Ownership confinement ensures representation independence for object-oriented programs

Journal of the ACM (JACM)

Refactoring programs to secure information flows

Proceedings of the 2006 workshop on Programming languages and analysis for security

A modal type system for multi-level generating extensions with persistent code

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming

Enforcing robust declassification and qualified robustness

Journal of Computer Security - Special issue on CSFW17

Access control in a core calculus of dependency

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming

Flow-insensitive type qualifiers

ACM Transactions on Programming Languages and Systems (TOPLAS)

Semantics of an effect analysis for exceptions

TLDI '07 Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation

A logic for information flow analysis with an application to forward slicing of simple imperative programs

Science of Computer Programming

Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)

Access Control in a Core Calculus of Dependency

Electronic Notes in Theoretical Computer Science (ENTCS)

On the relations between monadic semantics

Theoretical Computer Science

A domain-specific programming language for secure multiparty computation

Proceedings of the 2007 workshop on Programming languages and analysis for security

Localized delimited release: combining the what and where dimensions of information release

Proceedings of the 2007 workshop on Programming languages and analysis for security

Instruction-level security analysis for information flow in stack-based assembly languages

Information and Computation

A uniform type structure for secure information flow

ACM Transactions on Programming Languages and Systems (TOPLAS)

Run-time principals in information-flow type systems

ACM Transactions on Programming Languages and Systems (TOPLAS)

Data dependencies and program slicing: from syntax to abstract semantics

PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Secure slices of insecure programs

Proceedings of the 2008 ACM symposium on Information, computer and communications security

A type system for data-flow integrity on windows vista

Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security

AURA: a programming language for authorization and audit

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming

A library for light-weight information-flow security in haskell

Proceedings of the first ACM SIGPLAN symposium on Haskell

Modular Reasoning in Object-Oriented Programming

Verified Software: Theories, Tools, Experiments

Variations in Access Control Logic

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science

FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS

Electronic Notes in Theoretical Computer Science (ENTCS)

A type system for data-flow integrity on Windows Vista

ACM SIGPLAN Notices

QuanTM: a quantitative trust management system

Proceedings of the Second European Workshop on System Security

Encoding information flow in Aura

Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security

Detecting and resolving unsound workflow views for correct provenance analysis

Proceedings of the 2009 ACM SIGMOD International Conference on Management of data

Game Semantics for Access Control

Electronic Notes in Theoretical Computer Science (ENTCS)

Inferring Dataflow Properties of User Defined Table Processors

SAS '09 Proceedings of the 16th International Symposium on Static Analysis

Declassification: Dimensions and principles

Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)

Achieving information flow security through monadic control of effects

Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)

Encoding information flow in AURA

ACM SIGPLAN Notices

Distributed programming with distributed authorization

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation

Arrows for secure information flow

Theoretical Computer Science

Computer security from a programming language and static analysis perspective

ESOP'03 Proceedings of the 12th European conference on Programming

Automata-based confidentiality monitoring

ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues

Proving noninterference by a fully complete translation to the simply typed λ-calculus

ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues

Provenance as dependency analysis

DBPL'07 Proceedings of the 11th international conference on Database programming languages

Workshop on theory and practice of provenance event report

ACM SIGMOD Record

Independence from obfuscation: A semantic framework for diversity

Journal of Computer Security

Security-typed programming within dependently typed programming

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming

Verifying stateful programs with substructural state and hoare types

Proceedings of the 5th ACM workshop on Programming languages meets program verification

Generating sound workflow views for correct provenance analysis

ACM Transactions on Database Systems (TODS)

Flexible dynamic information flow control in Haskell

Proceedings of the 4th ACM symposium on Haskell

Lightweight monadic programming in ML

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming

Allowing state changes in specifications

ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security

Abstract dependences for alarm diagnosis

APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems

Programming with binders and indexed data-types

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Obfuscation by partial evaluation of distorted interpreters

PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation

A sound analysis for secure information flow using abstract memory graphs

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering

Provenance as dependency analysis

Mathematical Structures in Computer Science - Programming Language Interference and Dependence

Programming with explicit security policies

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems

A design for a security-typed language with certificate-based declassification

ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems

Higher-order abstract non-interference

TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications

A linear logic of authorization and knowledge

ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security

Reading, writing and relations: towards extensional semantics for effect analyses

APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems

Abstract interpretation to check secure information flow in programs with input-output security annotations

FAST'05 Proceedings of the Third international conference on Formal Aspects in Security and Trust

A typed assembly language for confidentiality

ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems

Flow locks: towards a core calculus for dynamic flow policies

ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems

Decentralized delimited release

APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems

An algebraic basis for specifying and enforcing access control in security systems

IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods

Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)

Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1

Towards a practical secure concurrent language

Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Taming non-compositionality using new binders

UC'07 Proceedings of the 6th international conference on Unconventional Computation

ML dependency analysis for assessors

SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods

Security type error diagnosis for higher-order, polymorphic languages

PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation

The confinement problem in the presence of faults

ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering

Abstraction and invariance for algebraically indexed types

POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Type-based dependency analysis for javascript

Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security

Dependent Type Theory for Verification of Information Flow and Access Control Policies

ACM Transactions on Programming Languages and Systems (TOPLAS)

Type-theory in color

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming

Coeffects: unified static analysis of context-dependence

ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II

Noninterference in a predicative polymorphic calculus for access control

Computer Languages, Systems and Structures

Security Signature Inference for JavaScript-based Browser Addons

Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization

A core calculus for provenance

Journal of Computer Security - Security and Trust Principles