Sebastian Hunt

Sandro Stucki

Proc. ACM Program. Lang., January, 2023

2021

A Quantale of Information.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

New Program Abstractions for Privacy.

[BibT_eX]

[DOI]

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2015

Very Static Enforcement of Dynamic Policies.

[BibT_eX]

[DOI]

Bart van Delft

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

2011

A Semantic Hierarchy for Erasure Policies.

[BibT_eX]

[DOI]

Filippo Del Tedesco

Proceedings of the Information Systems Security - 7th International Conference, 2011

From Exponential to Polynomial-Time Security Typing via Principal Types.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2011

2008

Non-Interference for Deterministic Interactive Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

Termination-Insensitive Noninterference Leaks More Than Just a Bit.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2008

Just Forget It - The Semantics and Enforcement of Information Erasure.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2008

2007

A static analysis for quantifying information flow in a simple imperative language.

[BibT_eX]

[DOI]

J. Comput. Secur., 2007

2006

On flow-sensitive security types.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2005

Quantitative Information Flow, Relations and Polymorphic Types.

[BibT_eX]

[DOI]

J. Log. Comput., 2005

The PER Model of Abstract Non-interference.

[BibT_eX]

[DOI]

Isabella Mastroeni

Proceedings of the Static Analysis, 12th International Symposium, 2005

2004

Quantified Interference for a While Language.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

2002

Information flow for Algol-like languages.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2002

2001

Quantitative Analysis of the Leakage of Confidential Data.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Quantitative Aspects of Programming Laguages, 2001

2000

Safety of Strictness Analysis via Term Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 7th International Symposium, 2000

1996

Transformations Between HCLP and PCSP.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995

Composition in Hierarchical CLP.

[BibT_eX]

[DOI]

Michael Jampel

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Approximate Fixed Points in Abstract Interpretation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1994

1991

Abstract interpretation of functional languages: from theory to practice.

[BibT_eX]

[DOI]

PhD thesis, 1991

Fixed Points and Frontiers: A New Perspective.

[BibT_eX]

[DOI]

J. Funct. Program., 1991

Binding Time Analysis: A New PERspective.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990

PERs Generalise Projections for Strictness Analysis (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

1989

Frontiers and Open Sets in Abstract Interpretation.

[BibT_eX]

[DOI]