A Serious Game for Simulating Cyberattacks to Teach Cybersecurity. - Christopher Scherb; Luc Bryan Heitz; Frank Grimberg; Hermann Grieder; Marcel Maurer (CoRR, 2023)

CyMed: A Framework for Testing Cybersecurity of Connected Medical Devices. - Christopher Scherb; Adrian Hadayah; Luc Bryan Heitz (CoRR, 2023)

Divide, Conquer and Verify: Improving Symbolic Execution Performance. - Christopher Scherb; Luc Bryan Heitz; Hermann Grieder; Olivier Mattmann (CoRR, 2023)

CyMed: A Framework for Testing Connected Medical Devices. - Christopher Scherb; Adrian Hadayah; Luc Bryan Heitz; Hermann Grieder; Petra Maria Asprion (Society 5.0, 2024)

Evaluation of the Programming Skills of Large Language Models. - Luc Bryan Heitz; Joun Chamas; Christopher Scherb (CoRR, 2024)

Divide and Conquer based Symbolic Vulnerability Detection. - Christopher Scherb; Luc Bryan Heitz; Hermann Grieder (CoRR, 2024)