3 citations · 5 across the 4 of their papers we have counts for
3 papers · 1 filter
Divide and Conquer based Symbolic Vulnerability Detection
Christopher Scherb, Luc Bryan Heitz, Hermann Grieder
In modern software development, vulnerability detection is crucial due to the inevitability of bugs and vulnerabilities in complex software systems. Effective detection and elimina…
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…
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…