Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Maximilian Algehed
Simple Noninterference From Parametricity
Proceedings of the ACM on Programming Languages
Related publications
Parametricity and Local Variables
A Computational Interpretation of Parametricity
Component-Oriented Verification of Noninterference
Journal of Systems Architecture
Hardware
Architecture
Software
A General Framework for Relational Parametricity
Relational Parametricity for Computational Effects
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A Noninterference Model for Nondeterministic Systems
Ruan Jian Xue Bao/Journal of Software
Software
Assumptions and Guarantees for Compositional Noninterference
On Monadic Parametricity of Second-Order Functionals
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Noninterference for Concurrent Programs and Thread Systems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
