Folgen
Stefan Krüger
Stefan Krüger
Independent
Keine bestätigte E-Mail-Adresse
Titel
Zitiert von
Zitiert von
Jahr
Jumping through hoops: why do Java developers struggle with cryptography APIs?
S Nadi, S Krüger, M Mezini, E Bodden
Proceedings of the 38th International Conference on Software Engineering …, 2016
2892016
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
S Krüger, J Späth, K Ali, E Bodden, M Mezini
IEEE Transactions on Software Engineering 47 (11), 2382-2400, 2019
1462019
Crysl: An extensible approach to validating the correct usage of cryptographic apis
S Krüger, J Späth, K Ali, E Bodden, M Mezini
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
1462018
CogniCrypt: Supporting Developers in Using Cryptography
S Krüger, S Nadi, M Reif, K Ali, M Mezini, E Bodden, F Göpfert, F Günther, ...
Proceedings of the 32nd IEEE/ACM International Conference on Automated …, 2017
1312017
The Impact of Developer Experience in Using Java Cryptography
M Hazhirpasand, M Ghafari, S Krüger, E Bodden, O Nierstrasz
2019 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2019
252019
Debugging static analysis
LNQ Do, S Krüger, P Hill, K Ali, E Bodden
IEEE Transactions on Software Engineering 46 (7), 697-709, 2018
222018
Variability hiding in contracts for dependent software product lines
T Thüm, T Winkelmann, R Schröter, M Hentschel, S Krüger
Proceedings of the 10th International Workshop on Variability Modelling of …, 2016
172016
Feature-oriented contract composition
T Thüm, A Knüppel, S Krüger, S Bolle, I Schaefer
Journal of Systems and Software 152, 83-107, 2019
132019
Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts
S Krüger, B Hermann
2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software …, 2019
122019
CogniCryptGEN: generating code for the secure usage of crypto APIs
S Krüger, K Ali, E Bodden
Proceedings of the 18th ACM/IEEE International Symposium on Code Generation …, 2020
112020
Visuflow: A debugging environment for static analyses
LNQ Do, S Krüger, P Hill, K Ali, E Bodden
Proceedings of the 40th International Conference on Software Engineering …, 2018
11*2018
CogniCrypt–The Secure Integration of Cryptographic Software
S Krüger
102020
Variability modeling of cryptographic components: Clafer experience report
S Nadi, S Krüger
Proceedings of the 10th International Workshop on Variability Modelling of …, 2016
102016
CamBench--Cryptographic API Misuse Detection Tool Benchmark Suite
M Schlichtig, AK Wickert, S Krüger, E Bodden, M Mezini
arXiv preprint arXiv:2204.06447, 2022
62022
Dealing with Variability in API Misuse Specification
R Bonifácio, S Krüger, K Narasimhan, E Bodden, M Mezini
arXiv preprint arXiv:2105.04950, 2021
52021
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
A Knüppel, S Krüger, T Thüm, R Bubel, S Krieter, E Bodden, I Schaefer
Deductive Software Verification: Future Perspectives: Reflections on the …, 2020
42020
Tool support for contracts in FeatureIDE
F Proksch, S Krüger
Universitäts-und Landesbibliothek Sachsen-Anhalt, 2014
42014
Securing Your Crypto-API Usage Through Tool Support-A Usability Study
S Krüger, M Reif, AK Wickert, S Nadi, K Ali, E Bodden, Y Acar, M Mezini, ...
2023 IEEE Secure Development Conference (SecDev), 14-25, 2023
12023
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact)
S Krüger, J Späth, K Ali, E Bodden, M Mezini
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018
2018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–19