publication venue for
- A quantitative assessment of security risks based on a multifaceted classification approach. 20:493-510. 2021
- Secure and trusted partial grey-box verification. 18:677-700. 2019
- Opacity generalised to transition systems. 7:421-435. 2008