@inproceedingsBenz_Krogh Kristensen_Luo_P. Borges Jr._Bodden_Zeller_2020, title=Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis, booktitle=International Conference for Software Engineering (ICSE), author=Benz, Manuel and Krogh Kristensen, Erik and Luo, Linghui and P. Borges Jr., Nataniel and Bodden, Eric and Zeller, Andreas, year=2020 

@inproceedingsFischer_Fuhry_Kerschbaum_Bodden_2020, title=Computation on Encrypted Data using Dataflow Authentication, booktitle=Privacy Enhancing Technologies Symposium (PETS/PoPETS), author=Fischer, Andreas and Fuhry, Benny and Kerschbaum, Florian and Bodden, Eric, year=2020 

@inproceedingsKrüger_Ali_Bodden_2020, title=CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs, booktitle=International Symposium on Code Generation and Optimization (CGO), author=Krüger, Stefan and Ali, Karim and Bodden, Eric, year=2020, pages=185–198 

@bookKrüger_2020, title=CogniCrypt -- The Secure Integration of Cryptographic Software, publisher=Universitaetsbibliothek Paderborn, author=Krüger, Stefan, year=2020 

@inproceedingsYigitbas_2020, title=Model-driven engineering and usability evaluation of self-adaptive user interfaces, DOI=https://doi.org/10.1145/3427478.3427480, number=2, booktitle=ACM SIGWEB Newsletter, publisher=ACM, author=Yigitbas, Enes, year=2020 

@inproceedingsHoltmann_Steghofer_Rath_Schmelter_2020, title=Cutting through the Jungle: Disambiguating Model-based Traceability Terminology, DOI=10.1109/re48521.2020.00014, booktitle=2020 IEEE 28th International Requirements Engineering Conference (RE), publisher=IEEE, author=Holtmann, Jörg and Steghofer, Jan-Philipp and Rath, Michael and Schmelter, David, year=2020 

@inproceedingsKoch_Dziwok_Holtmann_Bodden_2020, title=Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers, DOI=10.1145/3365438.3410946, booktitle=ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), publisher=ACM, author=Koch, Thorsten and Dziwok, Stefan and Holtmann, Jörg and Bodden, Eric, year=2020 

@bookGerking_2020, title=Model-Driven Information Flow Security Engineering for Cyber-Physical Systems, DOI=10.17619/UNIPB/1-1033, publisher=Paderborn University, author=Gerking, Christopher, year=2020 

@inproceedingsOtroshi_Meschut_Masendorf_Esderts_2020, title=Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile, author=Otroshi, Mortaza and Meschut, Gerson and Masendorf, Lukas and Esderts, Alfons, year=2020 

@inbookReinhold_Koldewey_Dumitrescu_2020, place=Frankfurt am Main, title=GEMINI-Modellierungssprache für Wertschöpfungssysteme, booktitle=Der Geschäftsmodell-Toolguide , publisher=Campus Verlag, author=Reinhold, Jannik and Koldewey, Christian and Dumitrescu, Roman, editor=Buchholz, Birgit and Bürger, MatthiasEditors, year=2020, pages=52–56