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

BibTeX

@misc{urbach21bachelorarbeit,
  title = {Model Counting Based Quantitative Information Flow for Unbounded Loops and Recursions},
  year = {2021},
  month = apr,
  author = {Yannick Urbach},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Authors at the institute

Former Students
Yannick Urbach

Bachelor and Masters theses

Quantitative Information Flow Control for Java using Bounded Model Checking