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

Wickert, Anna-Katharina, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, and Eric Bodden. Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability, 2024.
LibreCat: /record/52663

Bodden, Eric, Jens Pottebaum, Markus Fockel, and Iris Gräßler. “Evaluating Security Through Isolation and Defense in Depth.”https://doi.org/10.1109/msec.2023.3336028__IEEE Security &; Privacy 22, no. 1 (2024): 69–72.https://doi.org/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.”https://doi.org/10.1145/3597503.3639092__In Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. ACM, 2024.https://doi.org/10.1145/3597503.3639092 .
LibreCat: /record/53938
DOI: 10.1145/3597503.3639092

Karakaya, Kadiray, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, and Dongjie He. “SootUp: A Redesign of the Soot Static Analysis Framework.”https://doi.org/10.1007/978-3-031-57246-3_13__In Tools and Algorithms for the Construction and Analysis of Systems. Cham: Springer Nature Switzerland, 2024.https://doi.org/10.1007/978-3-031-57246-3_13 .
LibreCat: /record/53942
DOI: 10.1007/978-3-031-57246-3_13

Johnson, Oshando, Goran Piskachev, Ranjith Krishnamurthy, and Eric Bodden. “Detecting Security-Relevant Methods Using Multi-Label Machine Learning.”https://doi.org/10.48550/ARXIV.2403.07501__In Proceedings of the 46th International Conference on Software Engineering, IDE Workshop, 2024.https://doi.org/10.48550/ARXIV.2403.07501 .
LibreCat: /record/53958
DOI: 10.48550/ARXIV.2403.07501

Shivarpatna Venkatesh, Ashwin Prasad, Samkutty Sabu, Jiawei Wang, Amir M. Mir, Li Li, and Eric Bodden. “TypeEvalPy: A Micro-Benchmarking Framework for Python Type Inference  Tools.” In Proceedings of the 46th International Conference on Software Engineering, Tool Demo Track, 2024.
LibreCat: /record/53959
arXiv: 2312.16882

Dann, Andreas Peter, Ben Hermann, and Eric Bodden. “UpCy: Safely Updating Outdated Dependencies.” International Conference on Software Engineering (ICSE), 2023.
LibreCat: /record/35083

Shivarpatna Venkatesh, Ashwin Prasad, Jiawei Wang, Li Li, and Eric Bodden. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.”https://doi.org/10.48550/ARXIV.2301.04419__IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), 2023.https://doi.org/10.48550/ARXIV.2301.04419 .
LibreCat: /record/36522
DOI: 10.48550/ARXIV.2301.04419

Luo, Linghui, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Martin Schäf, and Eric Bodden. “Model Generation For Java Frameworks.” In IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
LibreCat: /record/41812

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

Torres, Adriano, Pedro Costa, Luis Amaral, Jonata Pastro, Rodrigo Bonifácio, Marcelo d’Amorim, Owolabi Legunsen, Eric Bodden, and Edna Dias Canedo. “Runtime Verification of Crypto APIs: An Empirical Study.”https://doi.org/10.1109/tse.2023.3301660__IEEE Transactions on Software Engineering 49, no. 10 (2023): 4510–25.https://doi.org/10.1109/tse.2023.3301660 .
LibreCat: /record/46816
DOI: 10.1109/tse.2023.3301660

Piskachev, Goran, Matthias Becker, and Eric Bodden. “Can the Configuration of Static Analyses Make Resolving Security Vulnerabilities More Effective? - A User Study.”https://doi.org/10.1007/s10664-023-10354-3__Empirical Software Engineering 28, no. 5 (2023).https://doi.org/10.1007/s10664-023-10354-3 .
LibreCat: /record/49439
DOI: 10.1007/s10664-023-10354-3

Gräßler, Iris, Eric Bodden, Dominik Wiechel, and Jens Pottebaum. “Defense-in-Depth als neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre, bedrohungsbewusste und lösungsorientierte Security.”https://doi.org/10.37544/0720-5953-2023-11-12-60__Konstruktion 75, no. 11–12 (2023): 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, Marcus, Michael Schlichtig, and Eric Bodden. “Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale.” In Software Engineering 2023, 95–96. Bonn: Gesellschaft für Informatik e.V., 2023.
LibreCat: /record/52662

Schlichtig, Michael, Steffen Sassalla, Krishna Narasimhan, and Eric Bodden. “Introducing FUM: A Framework for API Usage Constraint and Misuse Classification.” In Software Engineering 2023, 105–106. Bonn: Gesellschaft für Informatik e.V., 2023.
LibreCat: /record/52660

Wehrheim, Heike, Marco Platzner, Eric Bodden, Philipphttps://doi.org/10.5281/zenodo.8068583__Schubert, Felix Pauck, and Marie-Christine Jakobs. “Verifying Software and Reconfigurable Hardware Services.”https://doi.org/10.5281/zenodo.8068583__In On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim, 412:125–44. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023.https://doi.org/10.5281/zenodo.8068583 .
LibreCat: /record/45888
DOI: 10.5281/zenodo.8068583

Pottebaum, Jens, Jost Rossel, Juraj Somorovsky, Yasemin Acar, René Fahr, Patricia Arias Cabarcos, Eric Bodden, and Iris Gräßler. “Re-Envisioning Industrial Control Systems Security by Considering Human Factors as a Core Element of Defense-in-Depth.”https://doi.org/10.1109/eurospw59978.2023.00048__In 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&;PW), 379–85. IEEE, 2023.https://doi.org/10.1109/eurospw59978.2023.00048 .
LibreCat: /record/46500
DOI: 10.1109/eurospw59978.2023.00048

Krüger, Stefan, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, and Sascha Fahl. “Securing Your Crypto-API Usage Through Tool Support - A Usability Study.”https://doi.org/10.1109/secdev56634.2023.00015__In 2023 IEEE Secure Development Conference (SecDev). IEEE, 2023.https://doi.org/10.1109/secdev56634.2023.00015 .
LibreCat: /record/49438
DOI: 10.1109/secdev56634.2023.00015

Koch, Thorsten, Sascha Trippel, Stefan Dziwok, and Eric Bodden. “Integrating Security Protocols in Scenario-Based Requirements Specifications.”https://doi.org/10.5220/0010783300003119__In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications, 2022.https://doi.org/10.5220/0010783300003119 .
LibreCat: /record/29844
DOI: 10.5220/0010783300003119