• QS 2023/2024 - Static Analysis Lab: C

  16 min read   ·   October 2, 2023

  2023   ·   code  

• Advances in Symbolic Execution: A Workshop on C, JavaScript, and WebAssembly

  2 min read   ·   April 13, 2022

  2022   ·   workshops