|
|
|
Contact Email:
Bitte warten... |
|
Courses
- Lecture: Software Engineering Practice , Sommersemester 2020
- Laboratory: Software Engineering Practice - Codespeed 2.0 , Wintersemester 2019/2020
Publications
2021
-
Upper Bound Computation of Information Leakages for Unbounded Recursion
Software Engineering and Formal Methods 2021, pp. 160--177 : J. Bechberger, A. Weigl
2018
-
Quantitative Information Flow Control on Program Dependency Graphs
December 2018 : J. Bechberger
2016
-
Besser Benchmarken
April 2016 : J. Bechberger
Advised thesis projects
finished
- Java to Solidity, bachelor thesis
- Exhaustiveness check for Structural Pattern Matching in Python 3.10, bachelor thesis
- Information leakage limiting interpreter, masters thesis
- Quantitative Information Flow Control for Java using Bounded Model Checking, bachelor thesis
- Autotuning for Benchmarks, bachelor thesis
Theses worked on
- Better Benchmarking (finished), bachelor thesis
- Quantitative Information Flow Control on Program Dependency Graphs (finished), masters thesis