David Sands

Matthías Páll Gissurarson

Sandro Stucki

Proc. ACM Program. Lang., January, 2023

2022

PROPR: Property-Based Automatic Program Repair.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

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

2018

Monitoring Data Minimisation.

[BibT_eX]

[DOI]

CoRR, 2018

Runtime verification of hyperproperties for deterministic programs.

[BibT_eX]

[DOI]

Srinivas Pinisetty

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017

Paragon - Practical programming with information flow control.

[BibT_eX]

[DOI]

J. Comput. Secur., 2017

Data Minimisation: A Language-Based Approach.

[BibT_eX]

[DOI]

Thibaud Antignac

Proceedings of the ICT Systems Security and Privacy Protection, 2017

2016

Featherweight PINQ.

[BibT_eX]

[DOI]

Hamid Ebadi

J. Priv. Confidentiality, 2016

Data Minimisation: a Language-Based Approach (Long Version).

[BibT_eX]

[DOI]

Thibaud Antignac

CoRR, 2016

Sampling and partitioning for differential privacy.

[BibT_eX]

[DOI]

Hamid Ebadi

Thibaud Antignac

Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016

Fault-Resilient Non-interference.

[BibT_eX]

[DOI]

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Very Static Enforcement of Dynamic Policies.

[BibT_eX]

[DOI]

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

Differential Privacy: Now it's Getting Personal.

[BibT_eX]

[DOI]

Hamid Ebadi

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

The Anatomy and Facets of Dynamic Policies.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Programming in Paragon.

[BibT_eX]

[DOI]

Proceedings of the Software Systems Safety, 2014

Type-Directed Compilation for Fault-Tolerant Non-Interference.

[BibT_eX]

[DOI]

CoRR, 2014

Fault-Tolerant Non-interference.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

Paragon: Programming with Information Flow Control (Demo).

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014

2013

Fault-tolerant non-interference: invited talk abstract.

[BibT_eX]

[DOI]

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

2012

A Datalog Semantics for Paralocks.

[BibT_eX]

[DOI]

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

2011

A Semantic Hierarchy for Erasure Policies.

[BibT_eX]

[DOI]

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

Assumptions and Guarantees for Compositional Noninterference.

[BibT_eX]

[DOI]

Heiko Mantel

Henning Sudbrock

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

2010

Paralocks: role-based information flow control and beyond.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Implementing Erasure Policies Using Taint Analysis.

[BibT_eX]

[DOI]

Proceedings of the Information Security Technology for Applications, 2010

Safe Wrappers and Sane Policies for Self Protecting JavaScript.

[BibT_eX]

[DOI]

Jonas Magazinius

Phu H. Phung

Proceedings of the Information Security Technology for Applications, 2010

2009

Declassification: Dimensions and principles.

[BibT_eX]

[DOI]

J. Comput. Secur., 2009

A User Model for Information Erasure

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th International Workshop on Security Issues in Concurrency, 2009

Flow-sensitive semantics for dynamic information flow policies.

[BibT_eX]

[DOI]

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

Specification and Verification of Side Channel Declassification.

[BibT_eX]

[DOI]

Josef Svenningsson

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

Improving the Semantics of Imperfect Security.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Applications of Security Analysis, 2009

All Secrets Great and Small.

[BibT_eX]

[DOI]

Delphine Demange

Proceedings of the Programming Languages and Systems, 2009

Lightweight self-protecting JavaScript.

[BibT_eX]

[DOI]

Phu H. Phung

Andrey Chudnov

Proceedings of the 2009 ACM Symposium on Information, 2009

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

Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming.

[BibT_eX]

[DOI]

Phu H. Phung

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2006

On flow-sensitive security types.

[BibT_eX]

[DOI]

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

Flow Locks: Towards a Core Calculus for Dynamic Flow Policies.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2006

Noninterference in the Presence of Non-Opaque Pointers.

[BibT_eX]

[DOI]

Daniel Hedin

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

Timing Aware Information Flow Security for a JavaCard-like Bytecode.

[BibT_eX]

[DOI]

Daniel Hedin

Proceedings of the First Workshop on Bytecode Semantics, 2005

A Theorem Proving Approach to Analysis of Secure Information Flow.

[BibT_eX]

[DOI]

Ádám Darvas

Reiner Hähnle

Proceedings of the Security in Pervasive Computing, Second International Conference, 2005

Dimensions and Principles of Declassification.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

2004

Controlled Declassification Based on Intransitive Noninterference.

[BibT_eX]

[DOI]

Heiko Mantel

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

Erratic Fudgets: a semantic theory for an embedded coordination language.

[BibT_eX]

[DOI]

Andrew Moran

Magnus Carlsson

Sci. Comput. Program., 2003

2002

Probability and Timing: Challenges for Secure Programming.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2002

Lambda Calculi and Linear Speedups.

[BibT_eX]

[DOI]

Jörgen Gustavsson

Andrew Moran

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

A Per Model of Secure Information Flow in Sequential Programs.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2001

Possibilities and Limitations of Call-by-Need Space Improvement.

[BibT_eX]

[DOI]

Jörgen Gustavsson

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000

Probabilistic Noninterference for Multi-Threaded Programs.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1999

A Foundation for Space-Safe Transformations of Call-by-Need Programs.

[BibT_eX]

[DOI]

Jörgen Gustavsson

Proceedings of the Third Workshop on Higher-Order Operational Techniques in Semantics, 1999

Improvement in a Lazy Context: An Operational Theory for Call-by-Need.

[BibT_eX]

[DOI]

Andrew Moran

Proceedings of the POPL '99, 1999

Observable Sharing for Functional Circuit Description.

[BibT_eX]

[DOI]

Koen Claessen

Proceedings of the Advances in Computing Science, 1999

1998

Refining Multiset Tranformers.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

1997

From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1996

Proving the Correctness of Recursion-Based Automatic Program Transformations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

1995

A Naïve Time Analysis and its Theory of Cost Equivalence.

[BibT_eX]

[DOI]

J. Log. Comput., 1995

Total Correctness by Local Improvement in Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

A Semantic Model of Binding Times for Safe Partial Evaluation

[BibT_eX]

[DOI]

Fritz Henglein

Proceedings of the Programming Languages: Implementations, 1995

Higher Order Expression Procedures.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1993

A Parallel Programming Style and Its Algebra of Programs.

[BibT_eX]

[DOI]

Proceedings of the PARLE '93, 1993

A Compositional Semantics of Combining Forms for Gramma Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992

Transformation of Gamma Programs.

[BibT_eX]

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

A Calculus of Gamma Programs.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 1992

1991

Binding Time Analysis: A New PERspective.

[BibT_eX]

[DOI]

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

1990

Calculi for time analysis of functional programs.

[BibT_eX]

[DOI]