Disclaimer

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

24.10.2017

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

2015-07-22 02.00 pm s.t.
Gregor Snelting KIT - Karlsruher Institut für Technologie
MPI-SWS 0.02

A New Algorithm For Probabilistic Noninterference

Gregor Snelting

KIT – Karlsruher Institut für Technologie

Title : A New Algorithm For Probabilistic Noninterference

Building: E1 5 (MPI-SWS), Room 0.02

Abstract

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.

Bio