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