@inproceedingsHazhirpasand_Ghafari_Krüger_Bodden_Nierstrasz_2019, title=The Impact of Developer Experience in Using Java Cryptography, DOI=10.1109/ESEM.2019.8870184, booktitle=2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), author=Hazhirpasand, Mohammadreza and Ghafari, Mohammad and Krüger, Stefan and Bodden, Eric and Nierstrasz, Oskar, year=2019, pages=1–6 
LibreCat: /record/20527
DOI: 10.1109/ESEM.2019.8870184

@inproceedingsPiskachev_Petrasch_Späth_Bodden_2019, title=AuthCheck: Program-state Analysis for Access-control Vulnerabilities, booktitle=10th Workshop on Tools for Automatic Program Analysis (TAPAS), author=Piskachev, Goran and Petrasch, Tobias and Späth, Johannes and Bodden, Eric, year=2019 
LibreCat: /record/20528

@inproceedingsNachtigall_Nguyen Quang Do_Bodden_2019, title=Explaining Static Analysis -- A Perspective, booktitle=1st International Workshop on Explainable Software (EXPLAIN) at ASE, author=Nachtigall, Marcus and Nguyen Quang Do, Lisa and Bodden, Eric, year=2019 
LibreCat: /record/20529

@inproceedingsLuo_Bodden_Späth_2019, title=A Qualitative Analysis of Android Taint-Analysis Results, booktitle=IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), author=Luo, Linghui and Bodden, Eric and Späth, Johannes, year=2019 
LibreCat: /record/20531

@inproceedingsPiskachev_Nguyen Quang Do_Johnson_Bodden_2019, title=SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods, booktitle=IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), Tool Demo Track, author=Piskachev, Goran and Nguyen Quang Do, Lisa and Johnson, Oshando and Bodden, Eric, year=2019 
LibreCat: /record/20532

@articleKrüger_Späth_Ali_Bodden_Mezini_2019, title=CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs, DOI=10.1109/TSE.2019.2948910, journal=IEEE Transactions on Software Engineering, author=Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira, year=2019, pages=1–1 
LibreCat: /record/20533
DOI: 10.1109/TSE.2019.2948910

@inproceedingsPiskachev_Nguyen Quang Do_Bodden_2019, title=Codebase-Adaptive Detection of Security-Relevant Methods, booktitle=ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), author=Piskachev, Goran and Nguyen Quang Do, Lisa and Bodden, Eric, year=2019 
LibreCat: /record/20534

@inproceedingsLuo_Dolby_Bodden_2019, title=MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors, booktitle=European Conference on Object-Oriented Programming (ECOOP), author=Luo, Linghui and Dolby, Julian and Bodden, Eric, year=2019 
LibreCat: /record/20535

@bookSpäth_2019, title=Synchronized Pushdown Systems for Pointer and Data-Flow Analysis, publisher=Universität Paderborn, author=Späth, Johannes, year=2019 
LibreCat: /record/20536

@bookPiskachev_Nguyen_Bodden_2019, title=Codebase-Adaptive Detection of Security-Relevant Methods, author=Piskachev, Goran and Nguyen, Lisa and Bodden, Eric, year=2019 
LibreCat: /record/20537