@inproceedingsKhedkar_Bodden_2024, title=Toward an Android Static Analysis Approach for Data Protection, booktitle=Proceedings of the 9th International Conference on Mobile Software Engineering and Systems, author=Khedkar, Mugdha and Bodden, Eric, year=2024 

@articleBodden_Pottebaum_Fockel_Gräßler_2024, title=Evaluating Security Through Isolation and Defense in Depth, volume=22, DOI=10.1109/msec.2023.3336028, number=1, journal=IEEE Security &; Privacy, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Bodden, Eric and Pottebaum, Jens and Fockel, Markus and Gräßler, Iris, year=2024, pages=69–72 

@bookWickert_Schlichtig_Vogel_Winter_Mezini_Bodden_2024, title=Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability, author=Wickert, Anna-Katharina and Schlichtig, Michael and Vogel, Marvin and Winter, Lukas and Mezini, Mira and Bodden, Eric, year=2024 

@articleDann_Hermann_Bodden_2023, series=International Conference on Software Engineering (ICSE), title=UpCy: Safely Updating Outdated Dependencies, author=Dann, Andreas Peter and Hermann, Ben and Bodden, Eric, year=2023, collection=International Conference on Software Engineering (ICSE) 

@inproceedingsShivarpatna Venkatesh_Wang_Li_Bodden_2023, title=Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis, DOI=10.48550/ARXIV.2301.04419, publisher=IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), author=Shivarpatna Venkatesh, Ashwin Prasad and Wang, Jiawei and Li, Li and Bodden, Eric, year=2023 

@inproceedingsLuo_Piskachev_Krishnamurthy_Dolby_Schäf_Bodden_2023, title=Model Generation For Java Frameworks, booktitle=IEEE International Conference on Software Testing, Verification and Validation (ICST), author=Luo, Linghui and Piskachev, Goran and Krishnamurthy, Ranjith and Dolby, Julian and Schäf, Martin and Bodden, Eric, year=2023 

@inproceedingsShivarpatna Venkatesh_Wang_Li_Bodden_2023, title=Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis, booktitle=IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), author=Shivarpatna Venkatesh, Ashwin Prasad and Wang, Jiawei and Li, Li and Bodden, Eric, year=2023 

@inbookWehrheim_Platzner_Bodden_Schubert_Pauck_Jakobs_2023, place=Paderborn, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, title=Verifying Software and Reconfigurable Hardware Services, volume=412, DOI=10.5281/zenodo.8068583, booktitle=On-The-Fly Computing -- Individualized IT-services in dynamic markets, publisher=Heinz Nixdorf Institut, Universität Paderborn, author=Wehrheim, Heike and Platzner, Marco and Bodden, Eric and Schubert, Philipp10.5281/zenodo.8068583__and Pauck, Felix and Jakobs, Marie-Christine, editor=Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike, year=2023, pages=125–144, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts 

@articleTorres_Costa_Amaral_Pastro_Bonifácio_d’Amorim_Legunsen_Bodden_Dias Canedo_2023, title=Runtime Verification of Crypto APIs: An Empirical Study, volume=49, DOI=10.1109/tse.2023.3301660, number=10, journal=IEEE Transactions on Software Engineering, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Torres, Adriano and Costa, Pedro and Amaral, Luis and Pastro, Jonata and Bonifácio, Rodrigo and d’Amorim, Marcelo and Legunsen, Owolabi and Bodden, Eric and Dias Canedo, Edna, year=2023, pages=4510–4525 

@articlePiskachev_Becker_Bodden_2023, title=Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study, volume=28, DOI=10.1007/s10664-023-10354-3, number=5118, journal=Empirical Software Engineering, publisher=Springer Science and Business Media LLC, author=Piskachev, Goran and Becker, Matthias and Bodden, Eric, year=2023 

@inproceedingsKrüger_Reif_Wickert_Nadi_Ali_Bodden_Acar_Mezini_Fahl_2023, title=Securing Your Crypto-API Usage Through Tool Support - A Usability Study, DOI=10.1109/secdev56634.2023.00015, booktitle=2023 IEEE Secure Development Conference (SecDev), publisher=IEEE, author=Krüger, Stefan and Reif, Michael and Wickert, Anna-Katharina and Nadi, Sarah and Ali, Karim and Bodden, Eric and Acar, Yasemin and Mezini, Mira and Fahl, Sascha, year=2023 

@articleGräßler_Bodden_Wiechel_Pottebaum_2023, title=Defense-in-Depth als neues Paradigma der sicherheitsgerechten Produktentwicklung: interdisziplinäre, bedrohungsbewusste und lösungsorientierte Security, volume=75, DOI=10.37544/0720-5953-2023-11-12-60, number=11–12, journal=Konstruktion, publisher=VDI Fachmedien GmbH and Co. KG, author=Gräßler, Iris and Bodden, Eric and Wiechel, Dominik and Pottebaum, Jens, year=2023, pages=60–65 

@inbookNachtigall_Schlichtig_Bodden_2023, place=Bonn, title=Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale, booktitle=Software Engineering 2023, publisher=Gesellschaft für Informatik e.V., author=Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric, year=2023, pages=95–96 

@inbookSchlichtig_Sassalla_Narasimhan_Bodden_2023, place=Bonn, title=Introducing FUM: A Framework for API Usage Constraint and Misuse Classification, booktitle=Software Engineering 2023, publisher=Gesellschaft für Informatik e.V., author=Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric, year=2023, pages=105–106 

@inproceedingsPottebaum_Rossel_Somorovsky_Acar_Fahr_Arias Cabarcos_Bodden_Gräßler_2023, title=Re-Envisioning Industrial Control Systems Security by Considering Human Factors as a Core Element of Defense-in-Depth, DOI=10.1109/eurospw59978.2023.00048, booktitle=2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&;PW), publisher=IEEE, author=Pottebaum, Jens and Rossel, Jost and Somorovsky, Juraj and Acar, Yasemin and Fahr, René and Arias Cabarcos, Patricia and Bodden, Eric and Gräßler, Iris, year=2023, pages=379–385 

@inproceedingsKoch_Trippel_Dziwok_Bodden_2022, title=Integrating Security Protocols in Scenario-based Requirements Specifications, DOI=10.5220/0010783300003119, booktitle=Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, publisher=SCITEPRESS - Science and Technology Publications, author=Koch, Thorsten and Trippel, Sascha and Dziwok, Stefan and Bodden, Eric, year=2022 

@articleFischer_Fuhry_Kußmaul_Janneck_Kerschbaum_Bodden_2022, title=Computation on Encrypted Data Using Dataflow Authentication, volume=25, DOI=10.1145/3513005, number=3, journal=ACM Transactions on Privacy and Security, publisher=Association for Computing Machinery (ACM), author=Fischer, Andreas and Fuhry, Benny and Kußmaul, Jörn and Janneck, Jonas and Kerschbaum, Florian and Bodden, Eric, year=2022, pages=1–36 

@bookSchlichtig_Wickert_Krüger_Bodden_Mezini_2022, title=CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, DOI=10.48550/ARXIV.2204.06447, author=Schlichtig, Michael and Wickert, Anna-Katharina and Krüger, Stefan and Bodden, Eric and Mezini, Mira, year=2022 

@inproceedingsNachtigall_Schlichtig_Bodden_2022, title=A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools, DOI=10.1145/3533767, booktitle=Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, publisher=ACM, author=Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric, year=2022, pages=532–543 

@inproceedingsSchlichtig_Sassalla_Narasimhan_Bodden_2022, title=FUM - A Framework for API Usage constraint and Misuse Classification, DOI=https://doi.org/10.1109/SANER53432.2022.00085, booktitle=2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), author=Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric, year=2022, pages=673–684