Detection and Exploitation of Information Flow Leaks
This thesis contributes to the field of language-based information flow analysis with a focus on detection and exploitation of information flow leaks in programs. To achieve this goal, this thesis presents a number of precise semi-automatic approaches that allow one to detect, exploit and judge th...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
2017
|
| Online Access: | https://tuprints.ulb.tu-darmstadt.de/6258/1/PhDthesis_Huy.pdf Do, Quoc Huy <http://tuprints.ulb.tu-darmstadt.de/view/person/Do=3AQuoc_Huy=3A=3A.html> (2017): Detection and Exploitation of Information Flow Leaks.Darmstadt, Technische Universität, [Ph.D. Thesis] |