Tuesday, December 1, 2020
New Publication: Reusable Formal Models for Threat Specification, Detection, and Treatment
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... More