News 2017

Main content

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


Information Security Talks

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

Page URL:
Thu Mar 30 17:11:20 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich