Anna-Katharina Wickert

According to our database, Anna-Katharina Wickert authored at least 13 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability.

Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden

Proceedings of the IEEE International Conference on Software Analysis, 2024

2023

Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact).

Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini

Dagstuhl Artifacts Ser., 2023

Securing Your Crypto-API Usage Through Tool Support - A Usability Study.

Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl

Proceedings of the IEEE Secure Development Conference, 2023

UnGoML: Automated Classification of unsafe Usages in Go.

Anna-Katharina Wickert, Clemens Damke, Lars Baumgärtner, Eyke Hüllermeier, Mira Mezini

Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

Algebraic Replicated Data Types: Programming Secure Local-First Software.

Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

A fine-grained data set and analysis of tangling in bug fixing commits.

Steffen Herbold, Alexander Trautsch, Benjamin Ledel, Alireza Aghamohammadi, Taher Ahmed Ghaleb, Kuljit Kaur Chahal, Tim Bossenmaier, Bhaveet Nagaria, Philip Makedonski, Matin Nili Ahmadabadi, Kristof Szabados, Helge Spieker, Matej Madeja, Nathaniel Hoy, Valentina Lenarduzzi, Shangwen Wang, Gema Rodríguez-Pérez, Ricardo Colomo Palacios, Roberto Verdecchia, Paramvir Singh, Yihao Qin, Debasish Chakroborti, Willard Davis, Vijay Walunj, Hongjun Wu, Diego Marcilio, Omar Alam, Abdullah Aldaeej, Idan Amit, Burak Turhan, Simon Eismann, Anna-Katharina Wickert, Ivano Malavolta, Matús Sulír, Fatemeh H. Fard, Austin Z. Henley, Stratos Kourtzanidis, Eray Tuzun, Christoph Treude, Simin Maleki Shamasbi, Ivan Pashchenko, Marvin Wyrich, James Davis, Alexander Serebrenik, Ella Albrecht, Ethem Utku Aktas, Daniel Strüber, Johannes Erbel

Empir. Softw. Eng., 2022

CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite.

Michael Schlichtig, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, Mira Mezini

CoRR, 2022

To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild.

Anna-Katharina Wickert, Lars Baumgärtner, Michael Schlichtig, Krishna Narasimhan, Mira Mezini

Proceedings of the IEEE International Conference on Trust, 2022

2021

Python Crypto Misuses in the Wild.

Anna-Katharina Wickert, Lars Baumgärtner, Florian Breitfelder, Mira Mezini

Proceedings of the ESEM '21: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2021

2020

Large-Scale Manual Validation of Bug Fixing Commits: A Fine-grained Analysis of Tangling.

Steffen Herbold, Alexander Trautsch, Benjamin Ledel, Alireza Aghamohammadi, Taher Ahmed Ghaleb, Kuljit Kaur Chahal, Tim Bossenmaier, Bhaveet Nagaria, Philip Makedonski, Matin Nili Ahmadabadi, Kristóf Szabados, Helge Spieker, Matej Madeja, Nathaniel Hoy, Valentina Lenarduzzi, Shangwen Wang, Gema Rodríguez-Pérez, Ricardo Colomo Palacios, Roberto Verdecchia, Paramvir Singh, Yihao Qin, Debasish Chakroborti, Willard Davis, Vijay Walunj, Hongjun Wu, Diego Marcilio, Omar Alam, Abdullah Aldaeej, Idan Amit, Burak Turhan, Simon Eismann, Anna-Katharina Wickert, Ivano Malavolta, Matús Sulír, Fatemeh H. Fard, Austin Z. Henley, Stratos Kourtzanidis, Eray Tuzun, Christoph Treude, Simin Maleki Shamasbi, Ivan Pashchenko, Marvin Wyrich, James Davis, Alexander Serebrenik, Ella Albrecht, Ethem Utku Aktas, Daniel Strüber, Johannes Erbel

CoRR, 2020

Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild.

Johannes Lauinger, Lars Baumgärtner, Anna-Katharina Wickert, Mira Mezini

Proceedings of the 19th IEEE International Conference on Trust, 2020

2019

A dataset of parametric cryptographic misuses.

Anna-Katharina Wickert, Michael Reif, Michael Eichberg, Anam Dodhy, Mira Mezini

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

2016

Information Flow Analysis for Go.

Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016