@inproceedingsAlbert Gorski Iii_Andow_Nadkarni_Manandhar_Enck_Bodden_Bartel_2019, title=ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware, booktitle=ACM Conference on Data and Application Security and Privacy (CODASPY 2019), author=Albert Gorski Iii, Sigmund and Andow, Benjamin and Nadkarni, Adwait and Manandhar, Sunil and Enck, William and Bodden, Eric and Bartel, Alexandre, year=2019 

@articleSpäth_Ali_Bodden_2019, title=Context-, Flow-, and Field-sensitive Data-flow Analysis Using Synchronized Pushdown Systems, volume=3, DOI=10.1145/3290361, number=POPL, journal=Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, publisher=ACM, author=Späth, Johannes and Ali, Karim and Bodden, Eric, year=2019, pages=48:1-48:29 

@inproceedingsBodden_2018, place=New York, NY, USA, series=ISSTA ’18, title=The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them), DOI=10.1145/3236454.3236500, booktitle=ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), publisher=ACM, author=Bodden, Eric, year=2018, pages=85–93, collection=ISSTA ’18 

@inproceedingsGeismann_Gerking_Bodden_2018, title=Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes, booktitle=International Conference on Software and System Processes (ICSSP), author=Geismann, Johannes and Gerking, Christopher and Bodden, Eric, year=2018 

@inproceedingsBodden_2018, place=New York, NY, USA, series=ICSE-NIER ’18, title=Self-adaptive Static Analysis, DOI=10.1145/3183399.3183401, booktitle=Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, publisher=ACM, author=Bodden, Eric, year=2018, pages=45–48, collection=ICSE-NIER ’18 

@inproceedingsNguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title=VISUFLOW, a Debugging Environment for Static Analyses, booktitle=International Conference for Software Engineering (ICSE), Tool Demonstrations Track, author=Nguyen Quang Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric, year=2018 

@inproceedingsKrüger_Späth_Ali_Bodden_Mezini_2018, title=CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs, booktitle=European Conference on Object-Oriented Programming (ECOOP), author=Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira, year=2018, pages=10:1-10:27 

@inbookGerking_Bodden_Schäfer_2017, place=Berlin, Heidelberg, title=Industrial Security by Design, DOI=10.1007/978-3-662-52903-4_8-1, booktitle=Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, publisher=Springer Berlin Heidelberg, author=Gerking, Christopher and Bodden, Eric and Schäfer, Wilhelm, editor=Maier, Günter W. and Engels, Gregor and Steffen, Eckhard, year=2017, pages=1–24 

@bookKrüger_Späth_Ali_Bodden_Mezini_2017, title=CrySL: Validating Correct Usage of Cryptographic APIs, author=Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira, year=2017 

@inproceedingsKrüger_Nadi_Reif_Ali_Mezini_Bodden_Göpfert_Günther_Weinert_Demmler_et al._2017, title=CogniCrypt: Supporting Developers in using Cryptography, booktitle=International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track, author=Krüger, Stefan and Nadi, Sarah and Reif, Michael and Ali, Karim and Mezini, Mira and Bodden, Eric and Göpfert, Florian and Günther, Felix and Weinert, Christian and Demmler, Daniel and et al., year=2017 

@inproceedingsNguyen Quang Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2017, title=Cheetah: Just-in-Time Taint Analysis for Android Apps, booktitle=International Conference for Software Engineering (ICSE), Tool Demonstrations Track, author=Nguyen Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson, year=2017 

@inproceedingsSpäth_Ali_Bodden_2017, title=IDEal: Efficient and Precise Alias-aware Dataflow Analysis, booktitle=2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), publisher=ACM Press, author=Späth, Johannes and Ali, Karim and Bodden, Eric, year=2017 

@bookNguyen Quang Do_Ali_Livshits_Bodden_Smith_Murphy-Hill_2016, title=Just-in-Time Static Analysis, DOI=http://dx.doi.org/10.7939/DVN/10859, author=Nguyen Quang Do, Lisa and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson, year=2016 

@articleRasthofer_Arzt_Bodden_Miltenberger_2016, title=Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen, DOI=https://www.springerprofessional.de/en/datenschutz-und-datensicherheit-dud-11-2016/10866536, journal=Datenschutz und Datensicherheit, author=Rasthofer, Siegfried and Arzt, Steven and Bodden, Eric and Miltenberger, Marc, year=2016, pages=718–722 

@inproceedingsHolzinger_Triller_Bartel_Bodden_2016, series=CCS ’16, title=An In-Depth Study of More Than Ten Years of Java Exploitation, DOI=http://doi.acm.org/10.1145/2976749.2978361, booktitle=Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, author=Holzinger, Philipp and Triller, Stefan and Bartel, Alexandre and Bodden, Eric, year=2016, pages=779–790, collection=CCS ’16 

@inproceedingsRasthofer_Arzt_Miltenberger_Bodden_2016, title=Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques, booktitle=Network and Distributed System Security Symposium (NDSS), author=Rasthofer, Siegfried and Arzt, Steven and Miltenberger, Marc and Bodden, Eric, year=2016 

@inproceedingsNadi_Krüger_Mezini_Bodden_2016, title=Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs?, booktitle=International Conference for Software Engineering (ICSE), author=Nadi, Sarah and Krüger, Stefan and Mezini, Mira and Bodden, Eric, year=2016, pages=935–946 

@inproceedingsArzt_Bodden_2016, title=StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework, booktitle=International Conference for Software Engineering (ICSE), author=Arzt, Steven and Bodden, Eric, year=2016 

@inproceedingsSpäth_Nguyen Quang Do_Ali_Bodden_2016, title=Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java, booktitle=European Conference on Object-Oriented Programming (ECOOP), author=Späth, Johannes and Nguyen Quang Do, Lisa and Ali, Karim and Bodden, Eric, year=2016 

@inproceedingsLi_Bartel_Bissyande_Klein_Le Traon_Arzt_Rasthofer_Bodden_Octeau_McDaniel_2015, title=IccTA: Detecting Inter-Component Privacy Leaks in Android Apps, booktitle=2015 International Conference on Software Engineering (ICSE), author=Li, Li and Bartel, Alexandre and Bissyande, Tegawende F. and Klein, Jacques and Le Traon, Yves and Arzt, Steven and Rasthofer, Siegfried and Bodden, Eric and Octeau, Damien and McDaniel, Patrick, year=2015, pages=280–291