Semantische Suche
Freitag, 7. Juni 2024, 09:30 Uhr
iCal (Download)
Ort: Raum 333 (Gebäude 50.34)
Vortragende(r) | Debora Marettek |
---|---|
Titel | Elicitation and Classification of Security Requirements for Everest |
Vortragstyp | Masterarbeit |
Betreuer(in) | Sophie Corallo |
Vortragsmodus | in Präsenz |
Kurzfassung | Unvollständige und nicht überprüfte Anforderungen können zu Missverständnissen und falschen Vorstellungen führen. Gerade im Sicherheitsbereich können verletzte Anforderungen Hinweise auf potenzielle Schwachstellen sein. Um eine Software auf Schwachstellen zu prüfen, werden Sicherheitsanforderungen an ihre Implementierung geknüpft. Hierfür müssen spezifische Anforderungsattribute identifiziert und mit dem Design verknüpft werden.
In dieser Arbeit werden 93 Sicherheitsanforderungen auf Designebene für die Open-Source-Software EVerest, einer Full-Stack-Umgebung für Ladestationen, erhoben. Mithilfe von Prompt Engineering und Fine-tuning werden Designelemente mittels GPT klassifiziert und ihre jeweiligen Erwähnungen aus den erhobenen Anforderungen extrahiert. Die Ergebnisse deuten darauf hin, dass die Klassifizierung von Designelementen in Anforderungen sowohl bei Prompt Engineering als auch bei Fine-tuning gut funktioniert (F1-Score: 0,67-0,73). In Bezug auf die Extraktion von Designelementen übertrifft Fine-tuning (F1-Score: 0,7) jedoch Prompt Engineering (F1-Score: 0,52). Wenn beide Aufgaben kombiniert werden, übertrifft Fine-tuning (F1-Score: 0,87) ebenfalls Prompt Engineering (F1-Score: 0,61). |
Vortragende(r) | Robin Maisch |
---|---|
Titel | Preventing Refactoring Attacks on Software Plagiarism Detection through Graph-Based Structural Normalization |
Vortragstyp | Masterarbeit |
Betreuer(in) | Timur Sağlam |
Vortragsmodus | in Präsenz |
Kurzfassung | Detecting software plagiarism among a set of code submissions by students remains a challenge. Plagiarists often obfuscate their work by modifying it just enough to avoid detection while preserving the code’s runtime behavior in order to create an equally valid solution as the original. This type of modification is commonly known as refactoring. The state-of-the-art in plagiarism detection, token-based approaches, are immune against some types of refactorings by their very design, whereas other types create very effective plagiarism.
This thesis presents a novel approach that uses refactorings as a means to normalize the structure of code submissions. This normalized structure is not affected by refactoring attacks. The normalization engine, implemented as a transformation system for code graphs, was integrated into a token-based plagiarism detection tool. We evaluate our approach on four relevant types of obfuscation attack schemes. From the results, we conclude that the approach is not only on par with the state of the art in its efficacy against all attack schemes, but it even outperforms it by a large margin on combined refactoring attacks. |
Freitag, 14. Juni 2024, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Vortragende(r) | Alina Valta |
---|---|
Titel | Optimierung des Migrationsverfahrens in modellbasierten E/E-Entwicklungswerkzeugen durch bedarfsorientierte Prozessierung der Historie von Bestandsmodellen |
Vortragstyp | Masterarbeit |
Betreuer(in) | Erik Burger |
Vortragsmodus | in Präsenz |
Kurzfassung | Kurzfassung |
Vortragende(r) | Julian Roßkothen |
---|---|
Titel | Source-Target-Mapping von komplexen Relationen in Modell-zu-Modell-Transformationen |
Vortragstyp | Masterarbeit |
Betreuer(in) | Erik Burger |
Vortragsmodus | in Präsenz |
Kurzfassung | Kurzfassung |
Freitag, 21. Juni 2024, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Vortragende(r) | Odilo Bügler |
---|---|
Titel | Extraktion von Label-Propagationsfunktionen für Informationsflussanalysen aus architekturellen Verhaltensbeschreibungen |
Vortragstyp | Bachelorarbeit |
Betreuer(in) | Christopher Gerking |
Vortragsmodus | in Präsenz |
Kurzfassung | Kurzfassung |
Vortragende(r) | Jonas Lehmann |
---|---|
Titel | Iterative Quelltextanalyse für Informationsflusssicherheit zur Überprüfung von Vertraulichkeit auf Architekturebene |
Vortragstyp | Masterarbeit |
Betreuer(in) | Frederik Reiche |
Vortragsmodus | in Präsenz |
Kurzfassung | Kurzfassung |
Freitag, 19. Juli 2024, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: https://sdq.kastel.kit.edu/institutsseminar/Microsoft_Teams
Vortragende(r) | Nesta Bentum |
---|---|
Titel | Exploring Modern IDE Functionalities for Consistency Preservation |
Vortragstyp | Masterarbeit |
Betreuer(in) | Lars König |
Vortragsmodus | in Präsenz |
Kurzfassung | TBA |
Vortragende(r) | Niklas Ewald |
---|---|
Titel | Retrieval-Augmented Large Language Models for Traceability Link Recovery |
Vortragstyp | Masterarbeit |
Betreuer(in) | Dominik Fuchß |
Vortragsmodus | in Präsenz |
Kurzfassung | Kurzfassung |
Freitag, 20. September 2024, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Vortragende(r) | Jessica Kimberly Woschek |
---|---|
Titel | Exploring the Traceability of Requirements and Source Code via LLMs |
Vortragstyp | Bachelorarbeit |
Betreuer(in) | Kevin Feichtinger |
Vortragsmodus | in Präsenz |
Kurzfassung | TBA |
Vortragende(r) | Lars Weber |
---|---|
Titel | Generation of Checkpoints for Hardware Architecture Simulators |
Vortragstyp | Bachelorarbeit |
Betreuer(in) | Sebastian Weber |
Vortragsmodus | in Präsenz |
Kurzfassung | TBD |
Vortragende(r) | Dennis Fadeev |
---|---|
Titel | Konzept und Integration eines Deltachain Prototyps |
Vortragstyp | Bachelorarbeit |
Betreuer(in) | Thomas Weber |
Vortragsmodus | in Präsenz |
Kurzfassung | TBD |