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 colleagues Quentin Rouland and Brahim Hamid at IRIT who share in this award.
