Hermann Grieder

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 3

Top Topics

Adaptive Hypermedia

Communication Skills

Specification Language

Symbolic Execution

Top Venues

Publications

Christopher Scherb, Luc Bryan Heitz, Hermann Grieder, Olivier Mattmann
Divide, Conquer and Verify: Improving Symbolic Execution Performance. CoRR (2023)
Christopher Scherb, Luc Bryan Heitz, Frank Grimberg, Hermann Grieder, Marcel Maurer
A Serious Game for Simulating Cyberattacks to Teach Cybersecurity. CoRR (2023)
Petra Maria Asprion, Hermann Grieder, Frank Grimmberg, Pascal Moriggl
Building Digital Trust to Protect Whistleblowers - A blockchain-based Reporting Channel. HICSS (2023)