Publications in collaboration with researchers from Universidad de Sevilla (3)

2024

  1. Enabling security risk assessment and management for business process models

    Journal of Information Security and Applications, Vol. 84

2020

  1. Definition and Verification of Security Configurations of Cyber-Physical Systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)