Tina Maria Strößner

	Kontakt

Arbeitsgebiete

Veröffentlichungen

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

Bearbeitete Studien- und Abschlussarbeiten

• FirmReduce: Minimieren von Testfall-Programmgraphen (abgeschlossen), Bachelorarbeit
• Informationsfluss beschränkender Interpreter (abgeschlossen), Masterarbeit