Albert Gorski Iii, S., Andow, B., Nadkarni, A., Manandhar, S., Enck, W., Bodden, E., &; Bartel, A. (2019). ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware. ACM Conference on Data and Application Security and Privacy (CODASPY 2019).

Späth, J., Ali, K., &; Bodden, E. (2019). Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems. Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, 3(POPL), 48:1-48:29.https://doi.org/10.1145/3290361 

Bodden, E. (2018). The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them). ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), 85–93.https://doi.org/10.1145/3236454.3236500 

Geismann, J., Gerking, C., &; Bodden, E. (2018). Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes. International Conference on Software and System Processes (ICSSP).

Bodden, E. (2018). Self-adaptive Static Analysis. Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 45–48.https://doi.org/10.1145/3183399.3183401 

Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., &; Bodden, E. (2018). VISUFLOW, a Debugging Environment for Static Analyses. International Conference for Software Engineering (ICSE), Tool Demonstrations Track.

Krüger, S., Späth, J., Ali, K., Bodden, E., &; Mezini, M. (2018). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. In European Conference on Object-Oriented Programming (ECOOP) (pp. 10:1-10:27).

Gerking, C., Bodden, E., &; Schäfer, W. (2017). Industrial Security by Design. In G. W. Maier, G. Engels, &; E. Steffen (Eds.), Handbuch Gestaltung digitaler und vernetzter Arbeitswelten (pp. 1–24). Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-662-52903-4_8-1 

Krüger, S., Späth, J., Ali, K., Bodden, E., &; Mezini, M. (2017). CrySL: Validating Correct Usage of Cryptographic APIs.

Krüger, S., Nadi, S., Reif, M., Ali, K., Mezini, M., Bodden, E., Göpfert, F., Günther, F., Weinert, C., Demmler, D., &; Kamath, R. (2017). CogniCrypt: Supporting Developers in using Cryptography. International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track.