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.


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