Khedkar, M., &; Bodden, E. (2024). Toward an Android Static Analysis Approach for Data Protection. Proceedings of the 9th International Conference on Mobile Software Engineering and Systems. 9th International Conference on Mobile Software Engineering and Systems 2024, Lisbon, Portugal.
LibreCat: /record/52235
arXiv: 2402.07889

Wickert, A.-K., Schlichtig, M., Vogel, M., Winter, L., Mezini, M., &; Bodden, E. (2024). Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability.
LibreCat: /record/52663

Bodden, E., Pottebaum, J., Fockel, M., &; Gräßler, I. (2024). Evaluating Security Through Isolation and Defense in Depth. IEEE Security &; Privacy, 22(1), 69–72.https://doi.org/10.1109/msec.2023.3336028 
LibreCat: /record/52587
DOI: 10.1109/msec.2023.3336028

Karakaya, K., &; Bodden, E. (2024). Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems. Proceedings of the IEEE/ACM 46th International Conference on Software Engineering.https://doi.org/10.1145/3597503.3639092 
LibreCat: /record/53938
DOI: 10.1145/3597503.3639092

Karakaya, K., Schott, S., Klauke, J., Bodden, E., Schmidt, M., Luo, L., &; He, D. (2024). SootUp: A Redesign of the Soot Static Analysis Framework. In Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland.https://doi.org/10.1007/978-3-031-57246-3_13 
LibreCat: /record/53942
DOI: 10.1007/978-3-031-57246-3_13

Johnson, O., Piskachev, G., Krishnamurthy, R., &; Bodden, E. (2024). Detecting Security-Relevant Methods using Multi-label Machine Learning. Proceedings of the 46th International Conference on Software Engineering, IDE Workshop.https://doi.org/10.48550/ARXIV.2403.07501 
LibreCat: /record/53958
DOI: 10.48550/ARXIV.2403.07501

Shivarpatna Venkatesh, A. P., Sabu, S., Wang, J., Mir, A. M., Li, L., &; Bodden, E. (2024). TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference  Tools. Proceedings of the 46th International Conference on Software Engineering, Tool Demo Track.
LibreCat: /record/53959
arXiv: 2312.16882

Dann, A. P., Hermann, B., &; Bodden, E. (2023). UpCy: Safely Updating Outdated Dependencies.
LibreCat: /record/35083

Shivarpatna Venkatesh, A. P., Wang, J., Li, L., &; Bodden, E. (2023). Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering).https://doi.org/10.48550/ARXIV.2301.04419 
LibreCat: /record/36522
DOI: 10.48550/ARXIV.2301.04419

Luo, L., Piskachev, G., Krishnamurthy, R., Dolby, J., Schäf, M., &; Bodden, E. (2023). Model Generation For Java Frameworks. IEEE International Conference on Software Testing, Verification and Validation (ICST).
LibreCat: /record/41812

Shivarpatna Venkatesh, A. P., Wang, J., Li, L., &; Bodden, E. (2023). Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER).
LibreCat: /record/41813

Torres, A., Costa, P., Amaral, L., Pastro, J., Bonifácio, R., d’Amorim, M., Legunsen, O., Bodden, E., &; Dias Canedo, E. (2023). Runtime Verification of Crypto APIs: An Empirical Study. IEEE Transactions on Software Engineering, 49(10), 4510–4525.https://doi.org/10.1109/tse.2023.3301660 
LibreCat: /record/46816
DOI: 10.1109/tse.2023.3301660

Piskachev, G., Becker, M., &; Bodden, E. (2023). Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study. Empirical Software Engineering, 28(5), Article 118.https://doi.org/10.1007/s10664-023-10354-3 
LibreCat: /record/49439
DOI: 10.1007/s10664-023-10354-3

Krüger, S., Reif, M., Wickert, A.-K., Nadi, S., Ali, K., Bodden, E., Acar, Y., Mezini, M., &; Fahl, S. (2023). Securing Your Crypto-API Usage Through Tool Support - A Usability Study. 2023 IEEE Secure Development Conference (SecDev).https://doi.org/10.1109/secdev56634.2023.00015 
LibreCat: /record/49438
DOI: 10.1109/secdev56634.2023.00015

Gräßler, I., Bodden, E., Wiechel, D., &; Pottebaum, J. (2023). Defense-in-Depth als neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre, bedrohungsbewusste und lösungsorientierte Security. Konstruktion, 75(11–12), 60–65.https://doi.org/10.37544/0720-5953-2023-11-12-60 
LibreCat: /record/48946
DOI: 10.37544/0720-5953-2023-11-12-60

Nachtigall, M., Schlichtig, M., &; Bodden, E. (2023). Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale. In Software Engineering 2023 (pp. 95–96). Gesellschaft für Informatik e.V.
LibreCat: /record/52662

Schlichtig, M., Sassalla, S., Narasimhan, K., &; Bodden, E. (2023). Introducing FUM: A Framework for API Usage Constraint and Misuse Classification. In Software Engineering 2023 (pp. 105–106). Gesellschaft für Informatik e.V.
LibreCat: /record/52660

Pottebaum, J., Rossel, J., Somorovsky, J., Acar, Y., Fahr, R., Arias Cabarcos, P., Bodden, E., &; Gräßler, I. (2023). Re-Envisioning Industrial Control Systems Security by Considering Human Factors as a Core Element of Defense-in-Depth. 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&;PW), 379–385.https://doi.org/10.1109/eurospw59978.2023.00048 
LibreCat: /record/46500
DOI: 10.1109/eurospw59978.2023.00048

Wehrheim, H., Platzner, M., Bodden, E., Schubert, P., Pauck, F., &; Jakobs, M.-C. (2023). Verifying Software and Reconfigurable Hardware Services. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, &; H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 125–144). Heinz Nixdorf Institut, Universität Paderborn.https://doi.org/10.5281/zenodo.8068583 
LibreCat: /record/45888
DOI: 10.5281/zenodo.8068583

Koch, T., Trippel, S., Dziwok, S., &; Bodden, E. (2022). Integrating Security Protocols in Scenario-based Requirements Specifications. Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development.https://doi.org/10.5220/0010783300003119 
LibreCat: /record/29844
DOI: 10.5220/0010783300003119