Talks

Tutorial

• Advances on SAT and SMT Solving

  Shaowei Cai

  Slides: tutorial

• Building Safe Autonomous Systems using Imperfect Components

  Samarjit Chakraborty

  Slides: tutorial

• Model Checking, Monitoring, Performance Analysis, Synthesis and Learning for Cyber-Physical Systems

  Kim Guldstrand Larsen

  Slides: part 1 and part 2

• Hardware-Software Leakage Contracts for Side-Channel Security

  Jan Reineke

  Slides: part 1, part 2, part 3 and part 4

• Model-based Software Engineering for Robotics

  Pedro Ribeiro

  Slides: part 1, part 2, part 3, part 4, part 5 and part 6

• Simulation Testing of Autonomous Driving Systems Based on Safety-Critical Scenario Generation

  Yinxing Xue

  Slides: tutorial

• Safeguarding Deep Reinforcement Learning Systems via Formal Methods: From Safety-by-Design to Runtime Assurance

  Min Zhang

  Slides: tutorial

Talk

• Certifying Adversarial Robustness in Quantum Machine Learning: From Theory to Physical Validation

  Ji Guan

  Slides: talk

• On Temporal Verification of Stateful P4 Programs

  Fei He

  Slides: talk

• Formal Synthesis of Neural Controllers for Autonomous Systems

  Wang Lin

  Slides used in the talk are available by contacting directly Wang Lin

• Runtime Backdoor Detection for Federated Learning via Representational Dissimilarity Analysis

  Meng Sun

  Slides: talk

• Neural Code Generation Models with Programming Language Knowledge

  Yingfei Xiong

  Slides: talk

• Stochastic System Safety: Probabilistic Invariance Verification

  Bai Xue

  Slides: talk

• New Progress in Computational Number Theory and Number-Theoretic Cryptography

  Song Y. Yan

  Slides: talk