News 2014

Main content

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
Further information


  • 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.


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


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

Page URL:
Tue Jun 27 11:31:57 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich