M. Khedkar and E. Bodden, “Toward an Android Static Analysis Approach for Data Protection,” presented at the 9th International Conference on Mobile Software Engineering and Systems 2024, Lisbon, Portugal, 2024.
LibreCat: /record/52235
arXiv: 2402.07889

E. Bodden, J. Pottebaum, M. Fockel, and I. Gräßler, “Evaluating Security Through Isolation and Defense in Depth,”10.1109/msec.2023.3336028__IEEE Security &; Privacy, vol. 22, no. 1, pp. 69–72, 2024, doi:10.1109/msec.2023.3336028 .
LibreCat: /record/52587
DOI: 10.1109/msec.2023.3336028

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

A. P. Dann, B. Hermann, and E. Bodden, “UpCy: Safely Updating Outdated Dependencies.” 2023.
LibreCat: /record/35083

L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, and E. Bodden, “Model Generation For Java Frameworks,” 2023.
LibreCat: /record/41812

A. P. Shivarpatna Venkatesh, J. Wang, L. Li, and E. Bodden, “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis,” 2023.
LibreCat: /record/41813

K. Karakaya and E. Bodden, “Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis,”10.1109/icst57152.2023.00036__2023, doi:10.1109/icst57152.2023.00036 .
LibreCat: /record/45312
DOI: 10.1109/icst57152.2023.00036

A. Torres et al., “Runtime Verification of Crypto APIs: An Empirical Study,”10.1109/tse.2023.3301660__IEEE Transactions on Software Engineering, vol. 49, no. 10, pp. 4510–4525, 2023, doi:10.1109/tse.2023.3301660 .
LibreCat: /record/46816
DOI: 10.1109/tse.2023.3301660

G. Piskachev, M. Becker, and E. Bodden, “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, Art. no. 118, 2023, doi:10.1007/s10664-023-10354-3 .
LibreCat: /record/49439
DOI: 10.1007/s10664-023-10354-3

S. Krüger et al., “Securing Your Crypto-API Usage Through Tool Support - A Usability Study,”10.1109/secdev56634.2023.00015__2023, doi:10.1109/secdev56634.2023.00015 .
LibreCat: /record/49438
DOI: 10.1109/secdev56634.2023.00015

I. Gräßler, E. Bodden, D. Wiechel, and J. Pottebaum, “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, pp. 60–65, 2023, doi:10.37544/0720-5953-2023-11-12-60 .
LibreCat: /record/48946
DOI: 10.37544/0720-5953-2023-11-12-60

M. Khedkar, “Static Analysis for Android GDPR Compliance Assurance,”10.1109/ICSE-Companion58688.2023.00054__doi:10.1109/ICSE-Companion58688.2023.00054 .
LibreCat: /record/44146
DOI: 10.1109/ICSE-Companion58688.2023.00054
arXiv: 2303.09606

M. Nachtigall, M. Schlichtig, and E. Bodden, “Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale,” in Software Engineering 2023, Bonn: Gesellschaft für Informatik e.V., 2023, pp. 95–96.
LibreCat: /record/52662

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

J. Pottebaum 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__in 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&;PW), Delft, Netherlands, 2023, pp. 379–385, doi:10.1109/eurospw59978.2023.00048 .
LibreCat: /record/46500
DOI: 10.1109/eurospw59978.2023.00048

A. Fischer, B. Fuhry, J. Kußmaul, J. Janneck, F. Kerschbaum, and E. Bodden, “Computation on Encrypted Data Using Dataflow Authentication,”10.1145/3513005__ACM Transactions on Privacy and Security, vol. 25, no. 3, pp. 1–36, 2022, doi:10.1145/3513005 .
LibreCat: /record/31844
DOI: 10.1145/3513005

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

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

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

F. Pasic and M. Becker, “Domain-specific Language for Condition Monitoring Software Development,”10.1109/etfa52439.2022.9921730__2022, doi:10.1109/etfa52439.2022.9921730 .
LibreCat: /record/34057
DOI: 10.1109/etfa52439.2022.9921730