Khedkar, Mugdha, and Eric Bodden. “Toward an Android Static Analysis Approach for Data Protection.” Proceedings of the 9th International Conference on Mobile Software Engineering and Systems, 2024.
LibreCat: /record/52235
arXiv: 2402.07889

Wickert, Anna-Katharina, et al. Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. 2024.
LibreCat: /record/52663

Bodden, Eric, et al. “Evaluating Security Through Isolation and Defense in Depth.”10.1109/msec.2023.3336028__IEEE Security &; Privacy, vol. 22, no. 1, Institute of Electrical and Electronics Engineers (IEEE), 2024, pp. 69–72, doi:10.1109/msec.2023.3336028.
LibreCat: /record/52587
DOI: 10.1109/msec.2023.3336028

Karakaya, Kadiray, and Eric Bodden. “Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems.”10.1145/3597503.3639092__Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, ACM, 2024, doi:10.1145/3597503.3639092.
LibreCat: /record/53938
DOI: 10.1145/3597503.3639092

Karakaya, Kadiray, et al. “SootUp: A Redesign of the Soot Static Analysis Framework.”10.1007/978-3-031-57246-3_13__Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, 2024, doi:10.1007/978-3-031-57246-3_13.
LibreCat: /record/53942
DOI: 10.1007/978-3-031-57246-3_13

Johnson, Oshando, et al. “Detecting Security-Relevant Methods Using Multi-Label Machine Learning.”10.48550/ARXIV.2403.07501__Proceedings of the 46th International Conference on Software Engineering, IDE Workshop, 2024, doi:10.48550/ARXIV.2403.07501.
LibreCat: /record/53958
DOI: 10.48550/ARXIV.2403.07501

Shivarpatna Venkatesh, Ashwin Prasad, et al. “TypeEvalPy: A Micro-Benchmarking Framework for Python Type Inference  Tools.” Proceedings of the 46th International Conference on Software Engineering, Tool Demo Track, 2024.
LibreCat: /record/53959
arXiv: 2312.16882

Dann, Andreas Peter, et al. UpCy: Safely Updating Outdated Dependencies. 2023.
LibreCat: /record/35083

Luo, Linghui, et al. “Model Generation For Java Frameworks.” IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
LibreCat: /record/41812

Shivarpatna Venkatesh, Ashwin Prasad, et al. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
LibreCat: /record/41813

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

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

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

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