Full-Stack Static Security Analysis for the Java Platform

We have to face a simple, yet, disturbing fact: current computing is inherently insecure. The systems we develop and maintain have outgrown our capacity to prove them secure in every instance. Moreover, we became increasingly dependent on these systems. From small firmware running in cars and househ...

Full description

Bibliographic Details
Main Author: Hermann, Ben
Format: Others
Language:en
Published: 2016
Online Access:https://tuprints.ulb.tu-darmstadt.de/5807/1/hermann-langsec-diss.pdf
Hermann, Ben <http://tuprints.ulb.tu-darmstadt.de/view/person/Hermann=3ABen=3A=3A.html> (2016): Full-Stack Static Security Analysis for the Java Platform.Darmstadt, Technische Universität Darmstadt, [Ph.D. Thesis]