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

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

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

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

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

Karakaya, K., &; Bodden, E. (2023). Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis. 2023 IEEE Conference on Software Testing, Verification and Validation (ICST).https://doi.org/10.1109/icst57152.2023.00036 
LibreCat: /record/45312
DOI: 10.1109/icst57152.2023.00036

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

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

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

Fischer, A., Fuhry, B., Kußmaul, J., Janneck, J., Kerschbaum, F., &; Bodden, E. (2022). Computation on Encrypted Data Using Dataflow Authentication. ACM Transactions on Privacy and Security, 25(3), 1–36.https://doi.org/10.1145/3513005 
LibreCat: /record/31844
DOI: 10.1145/3513005

Schlichtig, M., Wickert, A.-K., Krüger, S., Bodden, E., &; Mezini, M. (2022). CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite.https://doi.org/10.48550/ARXIV.2204.06447 
LibreCat: /record/32409
DOI: 10.48550/ARXIV.2204.06447

Nachtigall, M., Schlichtig, M., &; Bodden, E. (2022). A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools. Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 532–543.https://doi.org/10.1145/3533767 
LibreCat: /record/32410
DOI: 10.1145/3533767

Schlichtig, M., Sassalla, S., Narasimhan, K., &; Bodden, E. (2022). FUM - A Framework for API Usage constraint and Misuse Classification. 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 673–684.https://doi.org/10.1109/SANER53432.2022.00085 
LibreCat: /record/31133
DOI: https://doi.org/10.1109/SANER53432.2022.00085

Pasic, F., &; Becker, M. (2022). Domain-specific Language for Condition Monitoring Software Development. 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA).https://doi.org/10.1109/etfa52439.2022.9921730 
LibreCat: /record/34057
DOI: 10.1109/etfa52439.2022.9921730