Software Engineering Seminar

Overview

The main goal of this seminar is to introduce students to the latest research trends in the field of programming languages and systems, including:

Core automated program analysis and synthesis techniques (e.g., new algorithms, combinations with machine learning).
Inter-disciplinary applications of these techniques to a variety of challenges in system reliability, security and performance (e.g., reasoning about networks).

The seminar is carried out as a set of presentations (2 each lecture) chosen from a set of available papers (available below). The grade is determined as a function of the presentation, handling questions and answers, and participation.

Papers

Date	Topic	Title	Presenter	Advisor
Sep 24		Introduction to the seminar (topics, objectives, structure)	Prof. Dr. Martin Vechev and Dr. Dana Drachsler Cohen
Oct 8	Security	Inferring Crypto API Rules from Code Changes	Hafner Nicolas	Pavol
Oct 8	Security	Deep Reinforcement Fuzzing	Houska Niklaus	Pesho
Oct 15	Security	SCInfer: Refinement-based Verification of Software Countermeasures against Side-Channel Attacks	Cantieni Josua	Rüdiger
Oct 15	Security	Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System	Wälchli Alexander	Dimitar
Oct 22	Security	Secure Serverless Computing Using Dynamic Information Flow Control	Föhn Valentino	Rüdiger
Oct 22	Security	FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware	Müller Peter	Jingxuan
Oct 29	ML	Explaining and Harnessing Adversarial Examples	Wiesner Sven	Matthew
Oct 29	ML	DeepXplore: Automated Whitebox Testing of Deep Learning Systems	Stephan Elwin	Samuel
Nov 5	ML	Feature-Guided Black-Box Safety Testing of Deep Neural Networks	Serifi Agon	Pesho
Nov 5	ML	Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks	Ziegler Patrick	Gagandeep
Nov 12	ML	Verifying Properties of Binarized Deep Neural Networks	Lobsiger Janik	Petar
Nov 12	ML	Verifiable Reinforcement Learning via Policy Extraction	Besic Kenan	Gagandeep
Nov 19	ML	AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation	Horváth Miklós	Timon
Nov 19	ML	Differentiable Abstract Interpretation for Provably Robust Neural Networks	Ciernik Laure	Matthew
Nov 26	Blockchain	Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts	Dorigatti Daniel	Dimitar
Nov 26	Blockchain	Securify: Practical Security Analysis of Smart Contracts	Sentürk Kaan	Dana
Dec 3	Blockchain	Foundations and Tools for the Static Analysis of Ethereum Smart Contracts	Boss Mike	Petar
Dec 3	Blockchain	MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts	Koch Raphael	Samuel
Dec 10	Privacy	LightDP: Towards Automating Differential Privacy Proof	Weber Stefan Emanuel	Dana
Dec 10	Privacy	Synthesizing Coupling Proofs of Differential Privacy	Maag Rahel	Benjamin
Dec 17	Privacy	Toward Detecting Violations of Differential Privacy	Stalder Steven	Timon
Dec 17	Privacy	DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization	Hirt Adrian	Benjamin