Luc Bryan Heitz

According to our database, Luc Bryan Heitz authored at least 5 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Divide and Conquer based Symbolic Vulnerability Detection.

Christopher Scherb, Luc Bryan Heitz, Hermann Grieder

CoRR, 2024

Evaluation of the Programming Skills of Large Language Models.

Luc Bryan Heitz, Joun Chamas, Christopher Scherb

CoRR, 2024

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 Cybersecurity of Connected Medical Devices.

Christopher Scherb, Adrian Hadayah, Luc Bryan Heitz

CoRR, 2023

A Serious Game for Simulating Cyberattacks to Teach Cybersecurity.

Christopher Scherb, Luc Bryan Heitz, Frank Grimberg, Hermann Grieder, Marcel Maurer

CoRR, 2023