3 papers
cs.CR2025
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…
cs.CR2025
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.HC2025
Towards an Inclusive Digital Society: Digital Accessibility Framework for Visually Impaired Citizens in Swiss Public Administration
Sabina Werren, Hermann Grieder, Christopher Scherb
As we progress toward Society 5.0's vision of a human-centered digital society, ensuring digital accessibility becomes increasingly critical, particularly for citizens with visual…