|
|
|
Contact |
|
Research interests
Publications
2021
-
Bounding Information Leakage by Combining an Interpreter with Model Counting
August 2021 : T. M. Strößner
2018
-
FirmReduce: Automated Test-Case Reduction for Graph-Based Compilers
September 2018 : T. M. Strößner
Theses worked on
- FirmReduce: Minimising test case program graphs (finished), bachelor thesis
- Information leakage limiting interpreter (finished), masters thesis