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:A New Algorithm For Probabilistic Noninterference
Speaker:Gregor Snelting
coming from:Karlsruhe Institute of Technology (KIT)
Speakers Bio:
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:Wednesday, 22 July 2015
Duration:60 Minutes
Building:E1 5
We present a new algorithm for discovering probabilistic security leaks in concurrent programs. Probabilistic leaks arise from subtle interactions between threads, and probabilistic noninterference guarantees that such leaks do not exist.

The new algorithm is named RLSOD ("Relaxed Low Security Observable Determinism") and avoids soundness leaks, restrictions, and precision problems of earlier approaches; this feature beiing the result of flow-sensitive, context-sensitive program analysis,  and a new treatment of termination leaks.

The talk presents a short overview of probabilistic leaks and their handling in the security analysis tool JOANA, and then explains RLSOD in some detail. The consequences of flow-sensitivity are discussed, and the new treatment of nonterminating traces is described. The static RLSOD analysis (which is part of JOANA) is explained, and the soundness theorem for RLSOD is sketched.

The work has been described in detail in: D. Giffhorn, G. Snelting, /A new algorithm for low-deterministic security/, International Journal of Information Security, *Vol. 14*, (3), pp. 263-287, 2015.
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, 06/11/2015 09:40 AM -- Created document.