CISPA is currently in the founding process to join the German Helmholtz Association as a new member. It is consequently undergoing significant organizational changes, which are not yet reflected on this webpage.

For further information on the above mentioned founding process, please refer to the official press release by the State Chancellery of Saarland.

Recent News on the Transformation Process


The location of the first construction phase has been agreed upon. For further information, please refer to the official press release .

2015-01-22 14:00
David Basin ETH Zürich
E1.5 0.02

Enforceable Security Policies, David Basin

David Basin
ETH Zürich
Title : Enforceable Security Policies
Building: E1 5 (MPI-SWS), Room 0.02


Security mechanisms are omnipresent and found at all layers of the hardware and software stack, ranging from memory management hardware to policy decision and enforcement points used in middleware and web services. A fundamental question is “what kinds of security policies can such mechanisms enforce?”

We examine this question for mechanisms that work by execution monitoring. This covers a wide class of access control mechanisms which intercept actions and prevent unauthorized actions from occurring, based on a security policy. We will review work in this setting, in particular the seminal work of Fred Schneider on the relationship between enforceable security properties and safety properties. We will clarify limitations in existing work and give necessary and sufficient conditions for a security policy to be enforceable. In doing so, we build upon ideas from control theory and formal language theory. Furthermore, for different specification languages, we provide results on deciding whether a given policy is enforceable and synthesizing an enforcement mechanism from an enforceable policy. (Joint work with Vincent Juge, Felix Klaedtke and Eugen Zalinescu)

Bio: Personal Website