Login / Signup
Luc Bryan Heitz
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Medical Devices
Adaptive Hypermedia
Communication Skills
Symbolic Execution
Top Venues
CoRR
</>
Publications
</>
Christopher Scherb
,
Luc Bryan Heitz
,
Hermann Grieder
,
Olivier Mattmann
Divide, Conquer and Verify: Improving Symbolic Execution Performance.
CoRR
(2023)
Christopher Scherb
,
Adrian Hadayah
,
Luc Bryan Heitz
CyMed: A Framework for Testing Cybersecurity of Connected Medical Devices.
CoRR
(2023)
Christopher Scherb
,
Luc Bryan Heitz
,
Frank Grimberg
,
Hermann Grieder
,
Marcel Maurer
A Serious Game for Simulating Cyberattacks to Teach Cybersecurity.
CoRR
(2023)