Stefan Krüger - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2023

Securing Your Crypto-API Usage Through Tool Support - A Usability StudyStefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali 0001, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl. secdev 2023: 14-25 [doi]

2021

Dealing with Variability in API Misuse SpecificationRodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini. ECOOP 2021: [doi]

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIsStefan Krüger, Johannes Späth, Karim Ali 0001, Eric Bodden, Mira Mezini. TSE, 47(11):2382-2400, 2021. [doi]

2020

Debugging Static AnalysisLisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali 0001, Eric Bodden. TSE, 46(7):697-709, 2020. [doi]

Using Abstract Contracts for Verifying Evolving Features and Their InteractionsAlexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, editors, Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Volume 12345 of Lecture Notes in Computer Science, pages 122-148, Springer, 2020. [doi]

CogniCrypt - the secure integration of cryptographic softwareStefan Krüger. PhD thesis, University of Paderborn, Germany, 2020. [doi]

COGNICRYPT - Sichere Integration Kryptographischer SoftwareStefan Krüger. In Steffen Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2020. Volume D-21 of LNI, pages 199-208, GI, 2020. [doi]

GEN: generating code for the secure usage of crypto APIsStefan Krüger, Karim Ali 0001, Eric Bodden. CGO 2020: 185-198 [doi]

2019

2018

2017

2016

2013

2011

"Da ham se mich aber reingelegt, dat muss man sich ja zuerst ganz durchlesen (...)"Claudia Nick, Alexander Mertens, Stefan Krüger. mc 2011: 128-132 [doi]

Empirical Study on the Relevance of Factors Influencing Readability of Instruction Manuals for ElderlyClaudia Nick, Alexander Mertens, Stefan Krüger, Christopher M. Schlick. usab 2011: 681-689 [doi]

2006

Incremental Support Vector Learning: Analysis, Implementation and ApplicationsPavel Laskov, Christian Gehl, Stefan Krüger, Klaus-Robert Müller. jmlr, 7:1909-1936, 2006. [doi]

1998

Motion Estimation using Adaptive Correlation and Local Directional SmoothingAndrew Calway, Stefan Krüger, David Tweed. icip 1998: 614-618

Image Registration using Multiresolution Frequency Domain CorrelationStefan Krüger, Andrew Calway. bmvc 1998: 1-10 [doi]

Image Sequence Analysis and Segmentation using G-blobsRoland G. Wilson, Peter Meulemans, Andrew Calway, Stefan Krüger. icip 1998: 483-487

1996

A multiresolution frequency domain method for estimating affine motion parametersStefan Krüger, Andrew D. Calway. In ICIP (1). 1996: 113-116 [doi]

Sign in or sign up to see more results.

runs on WebDSL