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...
Main Author: | |
---|---|
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] |