11 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI) 1
zu den Filteroptionen11 Titel in Besondere Sammlungen → Veröffentlichungen der Universität → Heinz Nixdorf Institut (HNI)
1
Computing on encrypted data using trusted execution environments
Elektronische Ressource, Paderborn, 2021
Early performance analysis of automation systems based on systems engineering models
Elektronische Ressource, Paderborn, 2017
Model-driven information flow security engineering for cyber-physical systems
Elektronische Ressource, Paderborn, 2020
Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019

Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024
Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024
Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019
A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019
User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019
Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)
11. und 12. Mai 2017 Heinz Nixdorf MuseumsForum, PaderbornElektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2017
