The automotive domain is rapidly changing in the last years. Among the different challenges
OEMs (ie the vehicle manufacturers) are facing, vehicles are evolving into systems of …

This paper presents LWeb, a framework for enforcing label-based, information flow policies
in database-using web applications. In a nutshell, LWeb marries the LIO Haskell IFC …

Differential privacy offers a formal framework for reasoning about privacy and accuracy of
computations on private data. It also offers a rich set of building blocks for constructing …

We show that fine-grained and coarse-grained dynamic information-flow control (IFC)
systems are equally expressive. To this end, we mechanize two mostly standard languages …

We present an expressive information-flow control type system with recursive types,
existential types, label polymorphism, and impredicative type polymorphism for a higher …

The programming language Haskell plays a unique, privileged role in information-flow
control (IFC) research: it is able to enforce information security via libraries. Many state-of …

We present Clio, an information flow control (IFC) system that transparently incorporates
cryptography to enforce confidentiality and integrity policies on untrusted storage. Clio …

In this paper we revisit the connection between parametricity and noninterference. Our
primary contribution is a proof of noninterference for a polyvariant variation of the …

Differential privacy offers a formal framework for reasoning about the privacy and accuracy
of computations on private data. It also offers a rich set of building blocks for constructing …

Trusted Execution Environments (TEEs) are hardware enforced memory isolation units,
emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX …