Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9314 Publications
2019 | Preprint | LibreCat-ID: 20341
A. P. Shivarpatna Venkatesh, A. B. Handadi, and M. Mory, “Security Implications Of Compiler Optimizations On Cryptography -- A Review,” arXiv:1907.02530. 2019.
LibreCat
| Files available
2019 | Newspaper Article | LibreCat-ID: 20342
B. Kahl, Y. Kogan, and J. S. Menzefricke, “Servicerobotik kooperativ entwickeln,” Computer & Automation, vol. 9–2019, pp. 58–61, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20356
S. Çavdar and G. Meschut, “Schwingfestigkeitsanalyse geklebter Stahlverbindungen unter mehrkanaliger Belastung,” in 7. Doktorandenseminar Klebtechnik, Wolfsburg, 2019, vol. 332, pp. 23–31.
LibreCat
2019 | Newspaper Article | LibreCat-ID: 20366
C. Koldewey, J. Reinhold, G. Willmes, and J. S. Michels, “Smart Service-Innovationen - Gewusst wie,” markt & wirtschaft westfalen - Das Wirtschaftsmagazin für zukunftsorientierte Unternehmer, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20371
C. Koldewey, J. Gausemeier, S. Fischer, and M. Kage, “Entwicklung von Smart Service Strategien,” in Symposium für Vorausschau und Technologieplanung, Berlin, 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 20430
W. Welling, A. Benjaminse, K. Lemmink, B. Dingenen, and A. Gokeler, “Progressive strength training restores quadriceps and hamstring muscle strength within 7 months after ACL reconstruction in amateur male soccer players.,” Phys Ther Sport, vol. 40, pp. 10–18, 2019.
LibreCat
| DOI
| PubMed | Europe PMC
2019 | Dissertation | LibreCat-ID: 20522
P. Holzinger, A Systematic Analysis and Hardening of the Java Security Architecture. Universität Paderborn, 2019.
LibreCat
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 20524
L. Nguyen Quang Do, User-Centered Tool Design for Data-Flow Analysis. Universität Paderborn, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20525
L. Stockmann, S. Laux, and E. Bodden, “Architectural Runtime Verification,” in 2019 IEEE International Conference on Software Architecture Companion (ICSA-C), 2019, pp. 77–84, doi: 10.1109/ICSA-C.2019.00021.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20527
M. Hazhirpasand, M. Ghafari, S. Krüger, E. Bodden, and O. Nierstrasz, “The Impact of Developer Experience in Using Java Cryptography,” in 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), 2019, pp. 1–6, doi: 10.1109/ESEM.2019.8870184.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20528
G. Piskachev, T. Petrasch, J. Späth, and E. Bodden, “AuthCheck: Program-state Analysis for Access-control Vulnerabilities,” 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20529
M. Nachtigall, L. Nguyen Quang Do, and E. Bodden, “Explaining Static Analysis -- A Perspective,” 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20531
L. Luo, E. Bodden, and J. Späth, “A Qualitative Analysis of Android Taint-Analysis Results,” 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20532
G. Piskachev, L. Nguyen Quang Do, O. Johnson, and E. Bodden, “SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods,” 2019.
LibreCat
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 20533
S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs,” IEEE Transactions on Software Engineering, pp. 1–1, 2019, doi: 10.1109/TSE.2019.2948910.
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20534
G. Piskachev, L. Nguyen Quang Do, and E. Bodden, “Codebase-Adaptive Detection of Security-Relevant Methods,” 2019.
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 20535
L. Luo, J. Dolby, and E. Bodden, “MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors,” 2019.
LibreCat
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 20536
J. Späth, Synchronized Pushdown Systems for Pointer and Data-Flow Analysis. Universität Paderborn, 2019.
LibreCat
| Download (ext.)
2019 | Report | LibreCat-ID: 20537
G. Piskachev, L. Nguyen, and E. Bodden, Codebase-Adaptive Detection of Security-Relevant Methods. 2019.
LibreCat