Karakaya, Kadiray, and Eric Bodden. “Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis.”10.1109/icst57152.2023.00036__2023 IEEE Conference on Software Testing, Verification and Validation (ICST), IEEE, 2023, doi:10.1109/icst57152.2023.00036.
LibreCat: /record/45312
DOI: 10.1109/icst57152.2023.00036

Torres, Adriano, et al. “Runtime Verification of Crypto APIs: An Empirical Study.”10.1109/tse.2023.3301660__IEEE Transactions on Software Engineering, vol. 49, no. 10, Institute of Electrical and Electronics Engineers (IEEE), 2023, pp. 4510–25, doi:10.1109/tse.2023.3301660.
LibreCat: /record/46816
DOI: 10.1109/tse.2023.3301660

Piskachev, Goran, et al. “Can the Configuration of Static Analyses Make Resolving Security Vulnerabilities More Effective? - A User Study.”10.1007/s10664-023-10354-3__Empirical Software Engineering, vol. 28, no. 5, 118, Springer Science and Business Media LLC, 2023, doi:10.1007/s10664-023-10354-3.
LibreCat: /record/49439
DOI: 10.1007/s10664-023-10354-3

Krüger, Stefan, et al. “Securing Your Crypto-API Usage Through Tool Support - A Usability Study.”10.1109/secdev56634.2023.00015__2023 IEEE Secure Development Conference (SecDev), IEEE, 2023, doi:10.1109/secdev56634.2023.00015.
LibreCat: /record/49438
DOI: 10.1109/secdev56634.2023.00015

Gräßler, Iris, et al. “Defense-in-Depth als neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre, bedrohungsbewusste und lösungsorientierte Security.”10.37544/0720-5953-2023-11-12-60__Konstruktion, vol. 75, no. 11–12, VDI Fachmedien GmbH and Co. KG, 2023, pp. 60–65, doi:10.37544/0720-5953-2023-11-12-60.
LibreCat: /record/48946
DOI: 10.37544/0720-5953-2023-11-12-60

Khedkar, Mugdha. “Static Analysis for Android GDPR Compliance Assurance.”10.1109/ICSE-Companion58688.2023.00054__Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23), doi:10.1109/ICSE-Companion58688.2023.00054.
LibreCat: /record/44146
DOI: 10.1109/ICSE-Companion58688.2023.00054
arXiv: 2303.09606

Nachtigall, Marcus, et al. “Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale.” Software Engineering 2023, Gesellschaft für Informatik e.V., 2023, pp. 95–96.
LibreCat: /record/52662

Schlichtig, Michael, et al. “Introducing FUM: A Framework for API Usage Constraint and Misuse Classification.” Software Engineering 2023, Gesellschaft für Informatik e.V., 2023, pp. 105–106.
LibreCat: /record/52660

Pottebaum, Jens, et al. “Re-Envisioning Industrial Control Systems Security by Considering Human Factors as a Core Element of Defense-in-Depth.”10.1109/eurospw59978.2023.00048__2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&;PW), IEEE, 2023, pp. 379–85, doi:10.1109/eurospw59978.2023.00048.
LibreCat: /record/46500
DOI: 10.1109/eurospw59978.2023.00048

Fischer, Andreas, et al. “Computation on Encrypted Data Using Dataflow Authentication.”10.1145/3513005__ACM Transactions on Privacy and Security, vol. 25, no. 3, Association for Computing Machinery (ACM), 2022, pp. 1–36, doi:10.1145/3513005.
LibreCat: /record/31844
DOI: 10.1145/3513005

Schlichtig, Michael, et al. CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite. 2022, doi:10.48550/ARXIV.2204.06447.
LibreCat: /record/32409
DOI: 10.48550/ARXIV.2204.06447

Nachtigall, Marcus, et al. “A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools.”10.1145/3533767__Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–43, doi:10.1145/3533767.
LibreCat: /record/32410
DOI: 10.1145/3533767

Schlichtig, Michael, et al. “FUM - A Framework for API Usage Constraint and Misuse Classification.”https://doi.org/10.1109/SANER53432.2022.00085__2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–84, doi:https://doi.org/10.1109/SANER53432.2022.00085.
LibreCat: /record/31133
DOI: https://doi.org/10.1109/SANER53432.2022.00085

Pasic, Faruk, and Matthias Becker. “Domain-Specific Language for Condition Monitoring Software Development.”10.1109/etfa52439.2022.9921730__2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, 2022, doi:10.1109/etfa52439.2022.9921730.
LibreCat: /record/34057
DOI: 10.1109/etfa52439.2022.9921730

Schubert, Philipp, et al. “Static Data-Flow Analysis for Software Product Lines in C.”10.1007/s10515-022-00333-1__Automated Software Engineering, vol. 29, no. 1, 35, Springer Science and Business Media LLC, 2022, doi:10.1007/s10515-022-00333-1.
LibreCat: /record/30511
DOI: 10.1007/s10515-022-00333-1

Sayar, Imen, et al. “An In-Depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities.”10.1145/3554732__ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery (ACM), 2022, doi:10.1145/3554732.
LibreCat: /record/33835
DOI: 10.1145/3554732

Piskachev, Goran, et al. “Fluently Specifying Taint-Flow Queries with FluentTQL.” Empirical Software Engineering, vol. 27, no. 5, Springer, 2022, pp. 1–33.
LibreCat: /record/33836

Krishnamurthy, Ranjith, et al. To What Extent Can We Analyze Kotlin Programs Using Existing Java Taint Analysis Tools? 2022.
LibreCat: /record/33838

Piskachev, Goran, et al. How Far Are German Companies in Improving Security through Static Program Analysis Tools? 2022.
LibreCat: /record/33837

Wickert, Anna-Katharina, et al. To Fix or Not to Fix: A Critical Study of Crypto-Misuses in the Wild. 2022, doi:10.48550/ARXIV.2209.11103.
LibreCat: /record/33959
DOI: 10.48550/ARXIV.2209.11103