Stefan Krüger

According to our database, Stefan Krüger authored at least 32 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Securing Your Crypto-API Usage Through Tool Support - A Usability Study.

Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Sascha Fahl

Dataset, September, 2023

Securing Your Crypto-API Usage Through Tool Support - A Usability Study.

Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl

Proceedings of the IEEE Secure Development Conference, 2023

2022

Debugging Static Analysis.

Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden

Dataset, May, 2022

CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite.

Michael Schlichtig, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, Mira Mezini

CoRR, 2022

2021

Dealing with Variability in API Misuse Specification (Artifact Package).

Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini

Dataset, April, 2021

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.

Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini

IEEE Trans. Software Eng., 2021

Dealing with Variability in API Misuse Specification.

Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

CogniCrypt_GEN - Generating Code for the Secure Use of Crypto APIs (Artefact).

Stefan Krüger, André Sonntag, Karim Ali, Eric Bodden

Dataset, January, 2020

Using Abstract Contracts for Verifying Evolving Features and Their Interactions.

Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

COGNICRYPT - Sichere Integration Kryptographischer Software.

Stefan Krüger

Proceedings of the Ausgezeichnete Informatikdissertationen 2020., 2020

CogniCrypt - the secure integration of cryptographic software.

Stefan Krüger

PhD thesis, 2020

Debugging Static Analysis.

Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden

IEEE Trans. Software Eng., 2020

CogniCrypt_<i>GEN</i>: generating code for the secure usage of crypto APIs.

Stefan Krüger, Karim Ali, Eric Bodden

Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

2019

Feature-oriented contract composition.

Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer

J. Syst. Softw., 2019

Can an online service predict gender?: on the state-of-the-art in gender identification from texts.

Stefan Krüger, Ben Hermann

Proceedings of the 2nd International Workshop on Gender Equality in Software Engineering, 2019

The Impact of Developer Experience in Using Java Cryptography.

Mohammadreza Hazhirpasand, Mohammad Ghafari, Stefan Krüger, Eric Bodden, Oscar Nierstrasz

Proceedings of the 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2019

2018

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact).

Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini

Dagstuhl Artifacts Ser., 2018

VISUFLOW: a debugging environment for static analyses.

Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

CrySL: Validating Correct Usage of Cryptographic APIs.

Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini

CoRR, 2017

"Jumping Through Hoops": Why do Java Developers Struggle With Cryptography APIs?

Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden

Proceedings of the Software Engineering 2017, 2017

CogniCrypt: supporting developers in using cryptography.

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

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Variability Hiding in Contracts for Dependent Software Product Lines.

Thomas Thüm, Tim Winkelmann, Reimar Schröter, Martin Hentschel, Stefan Krüger

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

Variability Modeling of Cryptographic Components: Clafer Experience Report.

Sarah Nadi, Stefan Krüger

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

2013

Ontology-Based Semantic Annotation of Documents in the Context of Patient Identification for Clinical Trials.

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

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, 2013

Patient Identification for Clinical Trials with Ontology-based Information Extraction from Documents.

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

Proceedings of the KEOD 2013, 2013

2011

Empirical Study on the Relevance of Factors Influencing Readability of Instruction Manuals for Elderly.

Claudia Nick, Alexander Mertens, Stefan Krüger, Christopher M. Schlick

Proceedings of the Information Quality in e-Health, 2011

"Da ham se mich aber reingelegt, dat muss man sich ja zuerst ganz durchlesen (...)".

Claudia Nick, Alexander Mertens, Stefan Krüger

Proceedings of the Usability Professionals 2011, 2011

2006

Incremental Support Vector Learning: Analysis, Implementation and Applications.

Pavel Laskov, Christian Gehl, Stefan Krüger, Klaus-Robert Müller

J. Mach. Learn. Res., 2006

1998

Image Sequence Analysis and Segmentation using G-blobs.

Roland G. Wilson, Peter R. Meulemans, Andrew Calway, Stefan Krüger

Proceedings of the 1998 IEEE International Conference on Image Processing, 1998

Motion Estimation using Adaptive Correlation and Local Directional Smoothing.

Andrew Calway, Stefan Krüger, David Tweed

Proceedings of the 1998 IEEE International Conference on Image Processing, 1998

Image Registration using Multiresolution Frequency Domain Correlation.

Stefan Krüger, Andrew Calway

Proceedings of the British Machine Vision Conference 1998, 1998

1996

A multiresolution frequency domain method for estimating affine motion parameters.

Stefan Krüger, Andrew D. Calway

Proceedings of the Proceedings 1996 International Conference on Image Processing, 1996