دنبال کردن
Stefan Krüger
Stefan Krüger
Independent
ایمیل تأییدشده‌ای ندارید
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
3122016
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‏
1662019
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‏
1662018
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‏
1502017
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‏
352019
Debugging static analysis‏
LNQ Do, S Krüger, P Hill, K Ali, E Bodden‏
IEEE Transactions on Software Engineering 46 (7), 697-709, 2018‏
262018
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‏
172019
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‏
162020
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‏
162016
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‏
14*2018
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
CogniCrypt–The Secure Integration of Cryptographic Software‏
S Krüger‏
112020
Variability modeling of cryptographic components: Clafer experience report‏
S Nadi, S Krüger‏
Proceedings of the 10th International Workshop on Variability Modelling of …, 2016‏
112016
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‏
102022
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‏
52020
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‏
42023
Tool support for contracts in FeatureIDE‏
F Proksch, S Krüger‏
Universitäts-und Landesbibliothek Sachsen-Anhalt, 2014‏
42014
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 für Informatik, 2018‏
12018
COGNICRYPT-Sichere Integration Kryptographischer Software.‏
S Krüger‏
Ausgezeichnete Informatikdissertationen, 199-208, 2020‏
2020
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20