3 citations · 5 across the 4 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CR2023★ 1 cited
Divide, Conquer and Verify: Improving Symbolic Execution Performance
Christopher Scherb, Luc Bryan Heitz, Hermann Grieder +1
Symbolic Execution is a formal method that can be used to verify the behavior of computer programs and detect software vulnerabilities. Compared to other testing methods such as fu…
cs.CR2023★ 3 cited
A Serious Game for Simulating Cyberattacks to Teach Cybersecurity
Christopher Scherb, Luc Bryan Heitz, Frank Grimberg +2
With the rising number of cyberattacks, such as ransomware attacks and cyber espionage, educating non-cybersecurity professionals to recognize threats has become more important tha…