News 2014

Best paper awards

Paper: Scalable Offline Monitoring 
Conference: 14th International Conference on Runtime Verification
 Authors: David Basin, Germano Caronni, Sarah Ereth, Matúš Harvan, Felix Klaedtke and Heiko Mantel

Paper: Formal Analysis of Electronic Exams 
Conference: SECRYPT'14 in Vienna 
Authors: Jannik Dreier, Rosario Guistolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, and Peter Y. A. Ryan see
external pageFurther information

Events

ZISC workshop 2014
This year's ZISC workshop features some of the worlds best-known cryptographers and software security experts who report about their latest findings and insights.
Read more on the event of 12 September 2014 at ETH Zurich.
ZISC special event on the Design of Secure Future Systems and Infrastructures
31 July 2014 in CAB G 61
9:00-10:00h: Virgil Gligor, Carnegie Mellon University
"Dancing with the Adversary: a Tale of Wimps and Giants"
10:00 - 11:00h: Radha Poovendran, University of Washington
"Passivity Framework for Modeling, Mitigating, and Composing Attacks on Networked Systems"
11:00-12:00h: Heejo Lee, Korea University
"DROP-FAST: Mitigation of DDoS through Isolating Malicious Traffic near Attack Sources"
Details are available at this webpage.

Talks

15 October 2014, 14:00h, CNB F 110 
Speaker: Karl Wüst, ETH Bachelor's Thesis 
Title: Forensic File Repair

30 September 2014, 13:30h, CNB F 110 
Speaker: Tomas Zgraggen, ETH Master's Thesis 
Title: E-Voting and Secure Human-Server Communication

 30 September 2014, 14:15h, CNB F 110 
Speaker: Alexandra Maximova, ETH Bachelor's Thesis 
Title: Stream Fusion for Isabelle’s Code Generator

19 September 2014, 14:00h, CNB F 110 
Speaker: Erwin Fang, RWTH Aachen 
Title: Verification and Synthesis of Real-Time Systems - From Qualitative Model-Checking

2 September 2014, 14:00h, CNB F 110 
Speaker: Rafael Häuselmann, ETH Bachelor's Thesis 
Title: Quickchecking a compiler

12 August 2014, 14:00h, CNB F 110 
Speaker: Michel Keller, ETH Bachelor's Thesis 
Title: Converting Alice&Bob Protocol Specification to Tamarin

31 July 2014 
Speaker: Thomas Sewell, NICTA & UNSW, Sydney, Australia 
Title: Isabelle verification of the seL4 Linux kernel at NICTA

27 June 2014, 15:00h, CAB H 52 
Speaker: Bruno Conchinha Montalto, ETH Ph.D. examination 
Title: Equivalence Properties and Probabilistic Reasoning in Symbolic Security Protocol Analysis

 13 May 2014, 16:15h, CNB F 110 
Speaker: Marc Züst, ETH Bachelor's Thesis 
Title: A Functional Protocol Implementation

30 April 2014, 14:00h, CNB F 110 
Speaker: Ernst-Friedrich Zachow, ETH Master's Thesis 
Title: Improving The Efficiency of Fuzz Testing Using Checkpointing

 24 April 2014, 14:00h, CNB F 110 
Speaker: Marco Lazzari, ETH Master's Thesis 
Title: Fuzz testing distributed security protocols

4 March 2014, 16:00h, CNB F 110 
Speaker: José Meseguer, University of Illinois 
Title: Theories of Homomorphic Encryption, Unification, and the Finite Variant Property

25 February 2014, 14:30h, CNB F 110 
Speaker: Carlos Cotrini Jimenez, ETH Master's Thesis 
Title: A language for reasoning in VaRBAC

25 February 2014, 14:00h, CNB F 110 
Speakers: Matija Ciganovic and Simon Hatt, ETH Bachelor's Thesis 
Title: Identity Management in the Cloud

1 January 2014 - 14:00h, CNB F 110 
Speaker: Jian Wang, IT University of Copenhagen
 Title: Analyzing Vote Counting Algorithms Via Logic

Dissertations

Bruno Conchinha Montalto 
Title: Equivalence Properties and Probabilistic Reasoning in Symbolic Security Protocol Analysis

Michèle Feltz 
Title: Strengthening the security of key exchange protocols