Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Reliable Security Guarantees for Concurrent Programs: Pitfalls, Solutions and Challenges
Speaker:Prof. Dr. Heiko Mantel
coming from:TU Darmstadt
Speakers Bio:Heiko Mantel is a full professor for Computer Science at TU Darmstadt.
He worked as a researcher at DFKI in Saarbrucken and received his
Ph.D. from Saarland University in 2003. Before joining TU Darmstadt,
he was a post-doctoral researcher at ETH Zurich (2003-2005) and an
assistant professor at RWTH Aachen (2005-2007).  Heiko Mantel spent
extended research stays at Chalmers University, Cornell University,
and Harvard University.  He is a principal investigator of CASED,
CROSSING, and EC-SPRIDE.  Since 2010 he leads the national research
initiative Reliably Secure Software Systems funded by the DFG.
Event Type:CISPA Distinguished Lecture Series
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:Public Audience
Date, Time and Location
Date:Thursday, 29 January 2015
Duration:60 Minutes
Building:E1 5
Today's IT-systems store and process an abundance of data. Some of
this data represents private or secret information, and a crucial
question is how to ensure that no such information is leaked.

We focus on techniques that establish confidentiality guarantees by
controlling the flow of information within IT-systems. Research on
information-flow security has resulted in an impressive portfolio of
program analysis techniques and tools. For sequential programs, these
approaches are becoming rather mature, and a good understanding of the
resulting, declarative security guarantees has been achieved. For
concurrent programs, information-flow security is more challenging.

The first part of the talk provides an introduction to theory and
practice of information-flow control. The second part clarifies why
it is so hard to achieve information-flow security for concurrent
programs, and discusses recent results from our on-going research
effort to tackle these challenges.
Name(s):Sabine Nermerich
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Attachments, File(s):
  • Sabine Nermerich, 01/26/2015 07:52 AM
  • Sabine Nermerich, 01/21/2015 12:43 PM -- Created document.