bachelor thesis (obsolete): Quantitative Information Flow Control for Java with interval lattices

see german description (or ask the advisor).

Prerequisits

Basic knowdledge on formal logic

Keywords

Static Analysis, Information Flow Control 

Advisors

Former Staff Member
M.Sc. Johannes Bechberger