24 Neuzugänge
Klassifikation
Schliessen
Filter
2

zu den Filteroptionen

vom 9.12.2025
Scalable data-flow analysis through sparsification and precise call graphs
Karakaya, Kadiray
Paderborn, 2025

vom 23.5.2025
Advanced Machine Learning Methods for Information Leakage Detection in Cryptographic Systems
Gupta, Pritha
Paderborn, 2025

vom 18.12.2024
Scaling static whole-program analysis to modern C and C++ software development
statically analyzing C and C++ software with PhASAR
Schubert, Philipp Dominik
Paderborn, 2024

vom 7.9.2024
Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Koch, Thorsten ; Bodden, Eric ; Jager, Tibor
Elektronische Ressource, Paderborn, 2024

vom 25.4.2024
Secure use of open-source software
a systematic study and techniques for Java
Dann, Andreas Peter ; Bodden, Eric ; Hermann, Ben
Elektronische Ressource, Paderborn, 2024

vom 24.1.2024
Challenges in information representation with augmented reality for procedural task support
Müller, Tobias ; Dumitrescu, Roman ; Keil, Reinhard ; Bodden, Eric ; Schomaker, Gunnar ; Yigitbas, Enes
Elektronische Ressource, Paderborn, 2024

vom 13.7.2023
Large Scale Scanning of TLS Session Ticket Confusion
Storm, Tim ; Somorovsky, Juraj ; Bodden, Eric
Elektronische Ressource, Paderborn, 2023

vom 18.5.2023
Cooperative Android App analysis
Pauck, Felix ; Wehrheim, Heike ; Bodden, Eric
Elektronische Ressource, Paderborn, 2023

vom 16.2.2023
Adapting taint analyses for detecting security vulnerabilities
Piskachev, Goran ; Bodden, Eric ; Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2022

vom 12.11.2021
Improving real-world applicability of static taint analysis
Luo, Linghui ; Bodden, Eric ; Hermann, Ben ; Dolby, Julian ; Somorovsky, Juraj ; Oberthür, Simon
Elektronische Ressource, Paderborn, 2021

vom 21.5.2021
Computing on encrypted data using trusted execution environments
Fischer, Andreas ; Bodden, Eric ; Kerschbaum, Florian
Elektronische Ressource, Paderborn, 2021

vom 17.12.2020
Validation of software migration
model-driven co-migration of test cases
Jovanovikj, Ivan ; Engels, Gregor ; Ebert, Jürgen ; Bodden, Eric ; Sauer, Stefan ; Zimmermann, Olaf
Elektronische Ressource, Paderborn, 2020

vom 10.11.2020
CogniCrypt - the secure integration of cryptographic software
Stefan, Krüger ; Bodden, Eric ; Ali, Karim
Elektronische Ressource, Paderborn, 2020

vom 25.9.2020
Model-driven information flow security engineering for cyber-physical systems
Gerking, Christopher ; Bodden, Eric ; Reussner, Ralf
Elektronische Ressource, Paderborn, 2020

vom 31.10.2019
A systematic analysis and hardening of the Java security architecture
Holzinger, Philipp Albert ; Bodden, Eric
Elektronische Ressource, Paderborn, 2019

vom 24.10.2019
User-centered tool design for data-flow analysis
Nguyen Quang Do, Lisa ; Bodden, Eric ; Ali, Karim ; Murphy-Hill, Emerson ; Wehrheim, Heike ; Hermann, Ben
Elektronische Ressource, Paderborn, 2019

vom 18.3.2019
Synchronized pushdown systems for pointer and data-flow analysis
Späth, Johannes ; Bodden, Eric ; Ali, Karim
Elektronische Ressource, Paderborn, 2019

vom 17.1.2019
Safety requirements engineering for early SIL tailoring
Fockel, Markus ; Bodden, Eric ; Greenyer, Joel
Elektronische Ressource, Paderborn, 2019

vom 28.11.2017
Early performance analysis of automation systems based on systems engineering models
Frieben, Jens ; Bodden, Eric ; Dumitrescu, Roman
Elektronische Ressource, Paderborn, 2017

vom 28.6.2017
Engineering self-adaptive systems with simulation-based performance prediction
Becker, Matthias Wilhelm ; Becker, Steffen ; Engels, Gregor ; Bodden, Eric ; Hüllermeier, Eyke ; Platenius, Marie Christin
Elektronische Ressource, Paderborn, 2017
Gehe zu Seiten