ISC Information Security and Cryptography Group https://cispa.saarland/infsec .html Mon, 01 Oct 2018 08:55:30 +0000 en-US hourly 1 https://wordpress.org/?v=4.8.2 Michael Backes co-chairing ACM CCS 2018 Program Committee https://cispa.saarland/infsec/blog/michael-backes-co-chairing-acm-ccs-2018-program-committee/ .html Mon, 24 Sep 2018 11:19:54 +0000 Jonas Schneider General featured https://cispa.saarland/infsec/index.html%3Fp=2232.html The 25th ACM Conference on Computer and Communications Security progam committee is co-chaired by Xiaofeng Wang (Indiana University) and Michael Backes. <p>The <a href="https://www.sigsac.org/ccs/CCS2018/">25th ACM Conference on Computer and Communications Security</a> progam committee is co-chaired by Xiaofeng Wang (Indiana University) and Michael Backes.</p> Two Publications at IEEE EuroS&P 2018 https://cispa.saarland/infsec/blog/two-publications-at-ieee-eurosp-2018/ .html Fri, 11 May 2018 07:43:34 +0000 Jonas Schneider General featured https://cispa.saarland/infsec/index.html%3Fp=2226.html 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. <p>At the 3rd IEEE European Symposium on Security and Privacy in London, UK, our papers <em>Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure</em> and <em>Dissecting Privacy Risks in Biomedical Data</em> were presented by Patrick Speicher and Pascal Berrang.</p> Next reading group: July 11 https://cispa.saarland/infsec/blog/next-reading-group-july-11/ .html Wed, 05 Jul 2017 09:21:14 +0000 Robert Künnemann Course News 2017-ss-security-protocols-formal-methods https://cispa.saarland/infsec/index.html%3Fp=2203.html We will skip [Dreier et.al.] due to time constraints, and discuss [Blachet, Abadí, Fournet], Chapter 6 and Rati and Matthias&#8217; experiences with CryptoVerif and ProScript (in this order). <p>We will skip [Dreier et.al.] due to time constraints,<br /> and discuss [Blachet, Abadí, Fournet], Chapter 6 and Rati and Matthias&#8217; experiences with CryptoVerif and ProScript (in this order).</p> Next seminar: 04 Jul https://cispa.saarland/infsec/blog/next-seminar-04-jul/ .html Thu, 29 Jun 2017 09:32:22 +0000 Robert Künnemann Course News 2017-ss-security-protocols-formal-methods https://cispa.saarland/infsec/index.html%3Fp=2196.html Hands-on session assignment. https://cispa.saarland/infsec/blog/hands-on-session-assignment/ .html Thu, 11 May 2017 11:02:33 +0000 Robert Künnemann Course News 2017-ss-security-protocols-formal-methods https://cispa.saarland/infsec/index.html%3Fp=2186.html 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. <p>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.</p> Updated paper assignment. https://cispa.saarland/infsec/blog/updated-paper-assignment/ .html Thu, 11 May 2017 11:01:14 +0000 Robert Künnemann Course News 2017-ss-security-protocols-formal-methods https://cispa.saarland/infsec/index.html%3Fp=2184.html The paper presentation assignment has been updated, please check the literature list. <p>The paper presentation assignment has been updated, please check the literature list.</p> First reading group will take place *today* Tuesday, 2 p.m., in room 3.21 at CISPA, E9.1. https://cispa.saarland/infsec/blog/first-reading-group-will-take-place/ .html Tue, 02 May 2017 07:32:29 +0000 Robert Künnemann Course News 2017-ss-security-protocols-formal-methods https://cispa.saarland/infsec/index.html%3Fp=2171.html 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)). <p>If you have missed the kick-off meeting, this is the last chance to participate!</p> <p>We will read the first chapter of the Tutorial, and learn about protocol design (<em>Needham and<br /> Schroeder (1978)</em>) and the need for formal methods (<em>Lowe (1996)</em>).</p> Kick-Off meeting takes place on Mon, 24.04.2017, 16:15 in E 9.1, Room 0.06. https://cispa.saarland/infsec/blog/kick-off-meeting-on-mon-24-04/ .html Tue, 18 Apr 2017 11:16:58 +0000 Robert Künnemann Course News 2017-ss-security-protocols-formal-methods https://cispa.saarland/infsec/index.html%3Fp=2134.html At this date, we will discuss proceedings and set the weekly slot for the seven sessions. <p>At this date, we will discuss proceedings and set the weekly slot for the seven sessions.</p> 4 papers at EuroS&P accepted! https://cispa.saarland/infsec/blog/4-papers-at-eurosp-accepted/ .html Tue, 18 Oct 2016 06:59:05 +0000 Sebastian Weisgerber featured https://cispa.saarland/infsec/index.html%3Fp=1936.html Members of our group got 4 papers accepted at the 2017 IEEE European Symposium on Security &#038; Privacy (EuroS&#038;P). We will present our papers at the conference in Paris from 26 Apr – 28, Apr, 2017. <p>Members of our group got 4 papers accepted at the 2017 IEEE European Symposium on Security &#038; Privacy (EuroS&#038;P).<br /> We will present our papers at the conference in Paris from 26 Apr – 28, Apr, 2017.</p> Publications in 2016 https://cispa.saarland/infsec/blog/publications-in-2016/ .html Mon, 17 Oct 2016 09:00:14 +0000 Sebastian Weisgerber featured https://cispa.saarland/infsec/index.html%3Fp=1889.html The group managed to achieve the following publications in 2016: 5 papers at ACM CCS 5 papers at Usenix 2 papers at IEEE S&#038;P 1 papers at NDSS Additionally 12 papers were published in other venues &#038; Journals: 2 papers at DIMVA and AsiaCCS 1 paper at/in RAID, ESORICS, PKC, CHES, DSN, SAC, JCS and &#8230; <a href="https://cispa.saarland/infsec/blog/publications-in-2016/" class="more-link">Continue reading <span class="screen-reader-text">Publications in 2016</span> <span class="meta-nav">&#8594;</span></a> <p>The group managed to achieve the following publications in 2016:</p> <ul> <li><strong>5</strong> papers at <strong>ACM CCS</strong></li> <li><strong>5</strong> papers at <strong>Usenix</strong></li> <li><strong>2</strong> papers at <strong>IEEE S&#038;P</strong></li> <li><strong>1</strong> papers at <strong>NDSS</strong></li> </ul> <p> Additionally 12 papers were published in other venues &#038; Journals:</p> <ul> <li><strong>2</strong> papers at <strong>DIMVA and AsiaCCS</strong></li> <li><strong>1</strong> paper at/in <strong>RAID, ESORICS, PKC, CHES, DSN, SAC, JCS and ;login:</strong></li> </ul>