ISC Information Security and Cryptography Group

Michael Backes co-chairing ACM CCS 2018 Program Committee

Jonas Schneider-Bensch — Mon, 24 Sep 2018 11:19:54 +0000

The 25th ACM Conference on Computer and Communications Security progam committee is co-chaired by Xiaofeng Wang (Indiana University) and Michael Backes.

Two Publications at IEEE EuroS&P 2018

Jonas Schneider-Bensch — Fri, 11 May 2018 07:43:34 +0000

At the 3rd IEEE European Symposium on Security and Privacy in London, UK, our papers Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure and Dissecting Privacy Risks in Biomedical Data were presented by Patrick Speicher and Pascal Berrang.

Next reading group: July 11

Robert Künnemann — Wed, 05 Jul 2017 09:21:14 +0000

We will skip [Dreier et.al.] due to time constraints,
and discuss [Blachet, Abadí, Fournet], Chapter 6 and Rati and Matthias’ experiences with CryptoVerif and ProScript (in this order).

Next seminar: 04 Jul

Robert Künnemann — Thu, 29 Jun 2017 09:32:22 +0000

Hands-on session assignment.

Robert Künnemann — Thu, 11 May 2017 11:02:33 +0000

The assignments for the hands-on session can be found on the literature list page. The start of the hands-on period will be announced here.

Updated paper assignment.

Robert Künnemann — Thu, 11 May 2017 11:01:14 +0000

The paper presentation assignment has been updated, please check the literature list.

First reading group will take place today Tuesday, 2 p.m., in room 3.21 at CISPA, E9.1.

Robert Künnemann — Tue, 02 May 2017 07:32:29 +0000

If you have missed the kick-off meeting, this is the last chance to participate!

We will read the first chapter of the Tutorial, and learn about protocol design (Needham and
Schroeder (1978)) and the need for formal methods (Lowe (1996)).

Kick-Off meeting takes place on Mon, 24.04.2017, 16:15 in E 9.1, Room 0.06.

Robert Künnemann — Tue, 18 Apr 2017 11:16:58 +0000

At this date, we will discuss proceedings and set the weekly slot for the seven sessions.

4 papers at EuroS&P accepted!

Sebastian Weisgerber — Tue, 18 Oct 2016 06:59:05 +0000

Members of our group got 4 papers accepted at the 2017 IEEE European Symposium on Security & Privacy (EuroS&P).
We will present our papers at the conference in Paris from 26 Apr – 28, Apr, 2017.

Publications in 2016

Sebastian Weisgerber — Mon, 17 Oct 2016 09:00:14 +0000

The group managed to achieve the following publications in 2016:

5 papers at ACM CCS
5 papers at Usenix
2 papers at IEEE S&P
1 papers at NDSS

Additionally 12 papers were published in other venues & Journals:

2 papers at DIMVA and AsiaCCS
1 paper at/in RAID, ESORICS, PKC, CHES, DSN, SAC, JCS and ;login: