


On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017

Physical attacks on pairing-based cryptography
Elektronische Ressource, Paderborn, 2016




Robustifying machine learning through weakening supervision
Elektronische Ressource, Paderborn, 2023
Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024
Separation algorithms for cutting planes based on mixed integer row relaxations
implementation and evaluation in the context of mixed integer programming solver software2009


Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019

Systematik zur geschäftsmodellorientierten Technologiefrühaufklärung
Elektronische Ressource, Paderborn, 2017


