ISC Information Security and Cryptography Group https://cispa.saarland/infsec .html Fri, 11 May 2018 07:43:34 +0000 en-US hourly 1 https://wordpress.org/?v=4.8.2 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> CISPA publishes 5 CCS papers https://cispa.saarland/infsec/blog/cispa-publishes-5-ccs-papers/ .html Tue, 11 Oct 2016 10:22:23 +0000 Andrea Ruffing General https://cispa.saarland/infsec/index.html%3Fp=1867.html CISPA is contributing 5 papers to this year&#8217;s 23rd ACM Conference on Computer and Communications Security (CCS 2016). CCS is one of the top-tier conferences in the area of IT security and the flagship conference of the Special Interest Group on Security, Audit and Control (SIGSAC) of the Association for Computing Machinery (ACM). CISPA researchers &#8230; <a href="https://cispa.saarland/infsec/blog/cispa-publishes-5-ccs-papers/" class="more-link">Continue reading <span class="screen-reader-text">CISPA publishes 5 CCS papers</span> <span class="meta-nav">&#8594;</span></a> <p>CISPA is contributing 5 papers to this year&#8217;s 23rd ACM Conference on Computer and Communications Security (CCS 2016).<br /> CCS is one of the top-tier conferences in the area of IT security and the flagship conference of the Special Interest Group on Security, Audit and Control (SIGSAC) of the Association for Computing Machinery (ACM).<br /> CISPA researchers will present their papers at the conference venue in Vienna from 24 Oct &#8211; 28 Oct, 2016.</p> <p><a href="https://cispa.saarland/research/publications/" target="_blank">CISPA Publications</a></p> <p><a href="https://www.sigsac.org/ccs/CCS2016/agenda/" target="_blank">Conference Agenda</a></p>