HOME | DEUTSCH | IMPRESSUM | KIT

Other Publications: Model Counting Based Quantitative Information Flow for Unbounded Loops and Recursions

[urbach21bachelorarbeit]Yannick Urbach, Model Counting Based Quantitative Information Flow for Unbounded Loops and Recursions, April 2021.

Download

  [PDF]

BibTeX

Authors at the institute

Students
Yannick Urbach

Bachelor and Masters theses

Bachelor and Masters theses
Quantitative Information Flow Control for Java using Bounded Model Checking