News 2017

Main content

Accordion. Press Tab to navigate to entries, then Enter to open or collapse content.


Information Security Talks

28 June 2017, 14:00h, CNB F110
Speaker: Bjarni Benedictsson ETH Masters's thesis
Title: A System for Increasing Awareness of Price Discrimination

29 May 2017, 14:00h, CNB F110
Speaker: Jan Gilcher, ETH Bachelor's thesis
Title: Conditional Parametricity in Isabelle/HOL

24 May 2017, 14:00h, CNB F110
Speaker: Matteo Monti, University of Bologna
Title: Achieving Closure in Enzymes in Artificial Chemistries

11 April 2017, CNB F110
Sandra Dünki, ETH Bachelor's thesis
Title: Testing Password Recovery Protocols
Markus Rabe, UC Berkeley
Title: Temporal Logics for Hyperproperties and a Quantitative Twist

14 March 2017, 14:00h, CNB F110
Simon Bienz, ETH Bachelor's thesis
Title: Mining ABAC policies from big data

28 February 2017, 14:00h, CNB F110
Burkhart Wolff, University Paris-Sud Orsay
Title: Why is it so hard to get Formal Methods into CC ??? Experiences from the Formal Certification Project EURO-MILS

21 February 2017, 14:00h, CNB F110
Stephan Merz, INRIA Nancy - Grand Est
Title: The TLA+ Proof System

7 February 2017, 14:00h, CNB F110
Gabriele Costa, Università degli studi di Genova
Title: Natural Projection and Partial Model Checking: Bridging the Gap

26 January 2017, 14:00h, CNB F110
Tamara Rezk, INRIA
Title: A Taxonomy of Information Flow Monitors

9 January 2017, 13:00h, CNB F110
Vincent Bindschaedler, University of Illinois at Urbana-Champaign (UIUC)
Title: Plausible Deniability for Privacy-Preserving Data Synthesis


Ph.D. examinations

22 February 2017, CAB G56, 13:30h
Ognjen Maric
Title: Formal Verification of Fault-Tolerant Systems


Srdan Krstic
ACM SIGSOFT Outstanding Doctoral Dissertation award for the thesis titled "Trace Checking of Quantitative Properties",

Page URL:
© 2017 Eidgenössische Technische Hochschule Zürich