Sonstiges: 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},
}

Institutsinterne Autoren

Studenten
Yannick Urbach

Bachelor- und Masterarbeiten

Quantitative Informationsflusskontrolle für Java auf Basis von Bounded Model Checking