Stefan Krüger

34 papers A* 2A 5C 2Journal 10Unranked 12
YearRankTypeTitle / Venue / Authors
2023 — conf
Securing Your Crypto-API Usage Through Tool Support - A Usability Study.
SecDev
Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl
2022 J jnl
CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite.
CoRR
Michael Schlichtig, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, Mira Mezini
2021 J jnl
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
IEEE Trans. Software Eng.
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2021 A conf
Dealing with Variability in API Misuse Specification.
ECOOP
Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini
2021 J jnl
Dealing with Variability in API Misuse Specification.
CoRR
Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini
2020 — ch.
COGNICRYPT - Sichere Integration Kryptographischer Software.
Ausgezeichnete Informatikdissertationen
Stefan Krüger
2020 A conf
CogniCrypt
CGO
Stefan Krüger, Karim Ali, Eric Bodden
2020 — —
CogniCrypt - the secure integration of cryptographic software.
Stefan Krüger
2020 J jnl
Debugging Static Analysis.
IEEE Trans. Software Eng.
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
2020 — ch.
Using Abstract Contracts for Verifying Evolving Features and Their Interactions.
20 Years of KeY
Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer
2019 — conf
Can an online service predict gender?: on the state-of-the-art in gender identification from texts.
GE@ICSE
Stefan Krüger, Ben Hermann
2019 — conf
Feature-oriented contract composition.
SPLC (A)
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer
2019 J jnl
Feature-oriented contract composition.
J. Syst. Softw.
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer
2019 A conf
The Impact of Developer Experience in Using Java Cryptography.
ESEM
Mohammadreza Hazhirpasand, Mohammad Ghafari, Stefan Krüger, Eric Bodden, Oscar Nierstrasz
2019 J jnl
The Impact of Developer Experience in Using Java Cryptography.
CoRR
Mohammadreza Hazhirpasand, Mohammad Ghafari, Stefan Krüger, Eric Bodden, Oscar Nierstrasz
2018 J jnl
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact).
Dagstuhl Artifacts Ser.
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2018 A conf
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
ECOOP
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2018 J jnl
Debugging Static Analysis.
CoRR
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
2018 — conf
VISUFLOW: a debugging environment for static analyses.
ICSE (Companion Volume)
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
2017 C conf
"Jumping Through Hoops": Why do Java Developers Struggle With Cryptography APIs?
Software Engineering
Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden
2017 A* conf
CogniCrypt: supporting developers in using cryptography.
ASE
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, Ram Kamath
2017 J jnl
CrySL: Validating Correct Usage of Cryptographic APIs.
CoRR
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2016 A* conf
Jumping through hoops: why do Java developers struggle with cryptography APIs?
ICSE
Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden
2016 — conf
Variability Hiding in Contracts for Dependent Software Product Lines.
VaMoS
Thomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel, Stefan Krüger
2016 — conf
Variability Modeling of Cryptographic Components: Clafer Experience Report.
VaMoS
Sarah Nadi, Stefan Krüger
2013 — conf
Ontology-Based Semantic Annotation of Documents in the Context of Patient Identification for Clinical Trials.
OTM Conferences
Peter Geibel, Martin Trautwein, Hebun Erdur, Lothar Zimmermann, Stefan Krüger, Josef Schepers, Kati Jegzentis, Frank Müller, Christian Hans Nolte, Anne Becker, Markus Frick, Jochen Setz, Jan Friedrich Scheitz, Serdar Tütüncü, Tatiana Usnich, Alfred Holzgreve, Thorsten Schaaf, Thomas Tolxdorff
2013 C conf
Patient Identification for Clinical Trials with Ontology-based Information Extraction from Documents.
KEOD
Peter Geibel, Hebun Erdur, Lothar Zimmermann, Stefan Krüger, Kati Jegzentis, Josef Schepers, Anne Becker, Frank Müller, Christian Hans Nolte, Jan Friedrich Scheitz, Serdar Tütüncü, Tatiana Usnich, Markus Frick, Martin Trautwein, Thorsten Schaaf, Alfred Holzgreve, Thomas Tolxdorff
2011 — conf
"Da ham se mich aber reingelegt, dat muss man sich ja zuerst ganz durchlesen (...)".
UP
Claudia Nick, Alexander Mertens, Stefan Krüger
2011 — conf
Empirical Study on the Relevance of Factors Influencing Readability of Instruction Manuals for Elderly.
USAB
Claudia Nick, Alexander Mertens, Stefan Krüger, Christopher M. Schlick
2006 J jnl
Incremental Support Vector Learning: Analysis, Implementation and Applications.
J. Mach. Learn. Res.
Pavel Laskov, Christian Gehl, Stefan Krüger, Klaus-Robert Müller
1998 A conf
Image Registration using Multiresolution Frequency Domain Correlation.
BMVC
Stefan Krüger, Andrew Calway
1998 — conf
Image Sequence Analysis and Segmentation using G-blobs.
ICIP (2)
Roland G. Wilson, Peter R. Meulemans, Andrew Calway, Stefan Krüger
1998 — conf
Motion Estimation using Adaptive Correlation and Local Directional Smoothing.
ICIP (3)
Andrew Calway, Stefan Krüger, David Tweed
1996 — conf
A multiresolution frequency domain method for estimating affine motion parameters.
ICIP (1)
Stefan Krüger, Andrew D. Calway