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

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

Source: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) SANER Software Analysis, Evolution and Reengineering (SANER), 2024 IEEE International Conference on. :693-704 Mar, 2024

Relation: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)

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

Authors: Kruger, Stefan, Reif, Michael, Wickert, Anna-Katharina, Nadi, Sarah, Ali, Karim, Bodden, Eric, Acar, Yasemin, Mezini, Mira, Fahl, Sascha

Source: 2023 IEEE Secure Development Conference (SecDev) SECDEV Secure Development Conference (SecDev), 2023 IEEE. :14-25 Oct, 2023

Relation: 2023 IEEE Secure Development Conference (SecDev)

UnGoML: Automated Classification of unsafe Usages in Go

Authors: Wickert, Anna-Katharina, Damke, Clemens, Baumgartner, Lars, Hullermeier, Eyke, Mezini, Mira

Source: 2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR) MSR Mining Software Repositories (MSR), 2023 IEEE/ACM 20th International Conference on. :309-321 May, 2023

Relation: 2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR)

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

Authors: Wickert, Anna-Katharina, Baumgartner, Lars, Schlichtig, Michael, Narasimhan, Krishna, Mezini, Mira

Source: 2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) TRUSTCOM Trust, Security and Privacy in Computing and Communications (TrustCom), 2022 IEEE International Conference on. :315-322 Dec, 2022

Relation: 2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

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

Authors: Lauinger, Johannes, Baumgartner, Lars, Wickert, Anna-Katharina, Mezini, Mira

Source: 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) TRUSTCOM Trust, Security and Privacy in Computing and Communications (TrustCom), 2020 IEEE 19th International Conference on. :410-417 Dec, 2020

Relation: 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite

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

Subject Terms: Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2204.06447

A Dataset of Parametric Cryptographic Misuses

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

Source: 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR) Mining Software Repositories (MSR), 2019 IEEE/ACM 16th International Conference on. :96-100 May, 2019

Relation: 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR)

Python Crypto Misuses in the Wild

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

Source: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2021)

Subject Terms: Computer Science - Software Engineering, Computer Science - Cryptography and Security, D.2.2

Access URL: http://arxiv.org/abs/2109.01109

A Fine-grained Data Set and Analysis of Tangling in Bug Fixing Commits

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

Subject Terms: Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2011.06244

Information Flow Analysis for Go
Leveraging applications of formal methods, verification and validation (International symposium)

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

Source: Lecture notes in computer science. 9952:431-445

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN601770633&indx=1&recIds=ETOCCN601770633

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

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

Source: Empirical Software Engineering; November 2022, Vol. 27 Issue: 6