Simple Noninterference From Parametricity

Proceedings of the ACM on Programming Languages
doi 10.1145/3341693
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Parametricity and Local Variables

1997English

A Computational Interpretation of Parametricity

2012English

Component-Oriented Verification of Noninterference

Journal of Systems Architecture
HardwareArchitectureSoftware
2011English

A General Framework for Relational Parametricity

2018English

Relational Parametricity for Computational Effects

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A Noninterference Model for Nondeterministic Systems

Ruan Jian Xue Bao/Journal of Software
Software
2006English

Assumptions and Guarantees for Compositional Noninterference

2011English

On Monadic Parametricity of Second-Order Functionals

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Noninterference for Concurrent Programs and Thread Systems

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy