New Publication: Specification, Detection, and Treatment of STRIDE Threats for Software Components: Modeling, Formal Methods, and Tool Support
Our latest work on specifying, detecting, and treating STRIDE threats for software components is now available in the Journal of Systems Architecture. This work is the result of a a collaboration with colleagues at IRIT. See Publications for more details!