Publications
Total number of publications: 5
Articles
-
Revisiting the analysis of references among Common Criteria certified products
Computers & Security, year: 2025, volume: 2025, edition: 152, DOI
-
Who Let the Guards Out: Visual Support for Patrolling Games
IEEE Transactions on Visualization and Computer Graphics, year: 2025, volume: 31, edition: 1, DOI
Conference proceedings
-
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III, year: 2025
-
Decompose and conquer: ZVP attacks on GLV curves
Applied Cryptography and Network Security, year: 2025
-
T-Shaped Competencies in Academic and IT Service Synergies
Year: 2025