News 2017
12 December 2017, 14:00h, CNB F 110
Speaker: Jorge Luis Toro Pozo, University of Luxembourg
Title: Distance-Bounding Protocols: Verification without Time and Location
7 December 2017, 11:00h, CAB H 52
Speaker: Steffen Görlich, Zurich Cantonal Police
Title: Digital Forensics – A practitioner’s perspective
4 December 2017, 10:00h, CNB F110
Speaker: Thomas Hildebrandt (ITU) and Morten Marquard
Title: Effective, Co-created & Compliant Digitalised Knowledge Workflows (EcoKnow)
28 November 2017, 14:00h, CNB F 110
Speaker: Nele Mentens, KU Leuven
Title: Morphing hardware architectures for side-channel security
27 November 2017, 15:00h, CNB F 110
Speaker: Furkan Turan, KU Leuven
Title: Hardware acceleration of a software-based VPN
22 September 2017, 15:00h, CNB F 110
Speaker: Tom Kerckhove, ETH Master's thesis
Title: Signature Inference for Functional Property Discovery
22 September 2017, 14:00h, CNB F 110
Speaker: Joshua Schneider, ETH Master's thesis
Title: Formalising the run-time costs of HOL programs
22 September 2017, 13:20h, CNB F 110
Speaker: David Lanzenberger, ETH Bachelor's thesis
Title: Formal Analysis of 5G Protocols
14 September 2017, 11:00h, CNB F 110
Speaker: Pascal Stoop, ETH Bachelor's thesis
Title: A compiler for lazy datatypes in Isabelle/HOL
28 June 2017, 14:00h, CNB F110
Speaker: Bjarni Benedictsson, ETH Master'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
14:00h
Sandra Dünki, ETH Bachelor's thesis
Title: Testing Password Recovery Protocols
14:30h
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
Srdan Krstic
ACM SIGSOFT Outstanding Doctoral Dissertation award for the thesis titled "Trace Checking of Quantitative Properties",
external pagehttps://www.sigsoft.org/awards/dissertationAward.htmlcall_made