
Thursday, December 3, 2020
Winner of the Best Paper Award at ICSR 2020!
Our paper "Reusable Formal Models for Threat Specification, Detection, and Treatment" was awarded the Best Paper Award at the 19th International Conference on Software and Software Reuse (ICSR 2020). Congratulations to our... More