TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 10.

Krüger, Stefan ; Reif, Michael ; Wickert, Anna-Katharina ; Nadi, Sarah ; Ali, Karim ; Bodden, Eric ; Mezini, Mira ; Acar, Yasemin ; Fahl, Sascha (2023)
Securing Your Crypto-API Usage Through Tool Support - A Usability Study.
2023 IEEE Secure Development Conference. Atlanta, USA (18.10.2023 - 20.10.2023)
doi: 10.1109/SecDev56634.2023.00015
Konferenzveröffentlichung, Bibliographie

Wickert, Anna-Katharina ; Damke, Clemens ; Baumgärtner, Lars ; Hüllermeier, Eyke ; Mezini, Mira (2023)
UNGOML: Automated Classification of unsafe Usages in Go.
20th International Conference on Mining Software Repositories (MSR 2023). Melbourne, Australia (15.05.2023-16.05.2023)
Konferenzveröffentlichung, Bibliographie

Wickert, Anna-Katharina ; Baumgärtner, Lars ; Schlichtig, Michael ; Narasimhan, Krishna ; Mezini, Mira (2022)
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild.
21st International Conference on Trust, Security and Privacy in Computing and Communications. Wuhan, Peoples Republik of China (09.12.2022-11.12.2022)
doi: 10.1109/TrustCom56396.2022.00051
Konferenzveröffentlichung, Bibliographie

Schlichtig, Michael ; Wickert, Anna-Katharina ; Krüger, Stefan ; Bodden, Eric ; Mezini, Mira (2022)
CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite.
19th International Conference on Mining Software Repositories (MSR 2022). virtual Conference (18.05.2022-20.05.2022)
Konferenzveröffentlichung, Bibliographie

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-Perez, 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 (2021)
A Fine-grained Data Set and Analysis of Tangling in Bug Fixing Commits.
doi: 10.48550/arXiv.2011.06244
Report, Bibliographie

Wickert, Anna-Katharina ; Baumgärtner, Lars ; Breitfelder, Florian ; Mezini, Mira (2021)
Python Crypto Misuses in the Wild.
15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM ’21). virtual Conference (11.10.2021-15.10.2021)
doi: 10.6084/m9.figshare.16499085.v1
Konferenzveröffentlichung, Bibliographie

Lauinger, Johannes ; Baumgärtner, Lars ; Wickert, Anna-Katharina ; Mezini, Mira (2020)
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild.
TrustCom 2020. virtual Conference (29.12.2020-01.01.2021)
Konferenzveröffentlichung, Bibliographie

Wickert, Anna-Katharina ; Reif, Michael ; Eichberg, Michael ; Dodhy, Anam ; Mezini, Mira (2019)
A Dataset of Parametric Cryptographic Misuses.
2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR).
Konferenzveröffentlichung, Bibliographie

Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina ; Bodden, Eric ; Eichberg, Michael
Hrsg.: Larsen, Kim G. ; Srba, Jiří (2016)
Don't let data Go astray - A Context-Sensitive Taint Analysis for Concurrent Programs in Go.
Nordic Workshop on Programming Theory (NWPT'16).
Konferenzveröffentlichung, Bibliographie

Bodden, Eric ; Pun, Ka I. ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2016)
Information Flow Analysis for Go.
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
doi: 10.1007/978-3-319-47166-2_30
Buchkapitel, Bibliographie

Diese Liste wurde am Sat Dec 28 04:07:17 2024 CET generiert.