Our new publication “Reusable Formal Models for Threat Specification, Detection, and Treatment” is now published online and will be presented virtually at the 19th International Conference on Software and Software Reuse (ICSR 2020) this week. This work is the result of  collaboration with colleagues at IRIT. The paper proposes an integrated approach  on metamodeling techniques that enable the specification of the software architecture structure and on formal techniques for the purposes of precise specification and verification of security aspects as properties of a modeled system. See Publications for more details!