Ein Fachbuch aus dem achten ESSoS‑Symposium in London, das aktuelle Forschungsergebnisse zu sicheren Software‑ und Systemdesigns zusammenfasst, inklusive theoretischer Modelle, experimenteller Analysen und praxisnaher Fallstudien für Entwickler und Forscher.