[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 |