| Computer Security. ESORICS 2021 International Workshops - CyberICPS, SECPRE, ADIoT, SPOSE, CPS4CIP, and CDT&SECOMANE, Darmstadt, Germany, October 4-8, 2021, Revised Selected Papers | 0 | 0.34 | 2022 |
| Cyber-Physical Security for Critical Infrastructures Protection - First International Workshop, CPS4CIP 2020, Guildford, UK, September 18, 2020, Revised Selected Papers | 0 | 0.34 | 2021 |
| Integrating a Pentesting Tool for IdM Protocols in a Continuous Delivery Pipeline. | 0 | 0.34 | 2021 |
| TLSAssistant Goes FINSEC A Security Platform Integration Extending Threat Intelligence Language. | 0 | 0.34 | 2020 |
| Verifiable Contracting - A Use Case for Onboarding and Contract Offering in Financial Services with eIDAS and Verifiable Credentials. | 0 | 0.34 | 2020 |
| Computer Security - ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26-27, 2019, Revised Selected Papers | 0 | 0.34 | 2020 |
| Exploring Architectures for Cryptographic Access Control Enforcement in the Cloud for Fun and Optimization. | 0 | 0.34 | 2020 |
| Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience. | 0 | 0.34 | 2018 |
| Analysis of XACML Policies with SMT. | 19 | 0.71 | 2015 |
| Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures | 15 | 0.69 | 2009 |
