Chair of Programming Languages and AI
print


Breadcrumb Navigation


Content

Oberseminar PLAI

The PLAI Oberseminar ordinarily takes place Wednesdays 10-12 in Room E 102A, Oettingenstr. 67.

Upcoming Seminars

  • 16 October 2024, 10:00: Moritz Böhm: Symbolic Execution of Sanitizer Code in Web Applications (MSc Pitch)
  • 16 October 2024, 10:30: Van Nguyen: Comprehensive Framework for Analyzing and Detecting Malicious Browser Extensions (MSc Pitch)
  • 23 October 2024, 10:00: Andreas Schlott: Re-Evaluating Fuzzware (BSc Thesise Pitch)

Past Seminars

  • 10 September 2024, 13:00: BA Thesis Defense - Johanna Hübner: Dynamic Analysis for Measuring the Share of Safe and Unsafe Rust Code in Mixed-Language Applications
  • 12 August 2024, 10:00: Burak Toca: Evaluating and Optimizing the Inference Stage for BCSD (Bsc Thesis Pitch)
  • 15 July 2024, 10:00: Utku Hayta: Re-Evaluating Fuzzware for Linux-based firmware (BSc Thesis Pitch)
  • 01 July 2024, 10:00: Kevin Chen: Exploring possible features and architectures for DEXTER binary code embedding (MSc Thesis Pitch)
  • 28 June 2024, 11:00: Mihai Christodorescu (Google): Challenges and Opportunities in LLM-based Program Analysis
  • 24 June 2024, 10:40: Sebastian Marinus Paster: Devising attacks against spectral analysis for clone detection (BSc Thesis Pitch)
  • 24 June 2024, 10:20: Darius-Andrei Manea: Incorporating machine learning into spectral analysis for program clone detection (BSc Thesis Pitch)
  • 24 June 2024, 10:00: Lea Korn: Re-Evaluating BinShot (BSc Thesis Pitch)
  • 17 June 2024, 10:00: Marco Singhof: Fuzzing Testsuite - Exploiting vulnerabilities in a reproducible manner (BSc Thesis Defense)
  • 10 June 2024, 10:40: Dominik Ramaj: Exploring possible functions names normalization for XFL (BSc Thesis Pitch)
  • 10 June 2024, 10:30: Thimo Ruhland: Classical Machine Learning for Binary analysis (MSc pitch)
  • 10 June 2024, 10:00: Korbinian Meier: Control-Flow Graph Recovery: Angr vs. Ghidra (BSc Thesis Pitch)
  • 04 June 2024, 14:00: Tobias Stöckel: Detecting Open Source Software in IoT binaries (BSc Thesis Pitch)
  • 04 June 2024, 13:30: Ihor Chornyi: Source-to-Source Transpilation (BSc Defense)
  • 04 June 2024, 13:00: Johanna Hübner: Dynamic Analysis for Measuring the Share of Safe and Unsafe Rust Code in Mixed-Language Applications (BSc Thesis Pitch)
  • 03 June 2024, 10:30: Sophie Schmidt: FuzzDriver Generation for open-source libraries with ChatGPT (Bsc Thesis Pitch)
  • 27 May 2024, 10:30: Valentin Wach: Driller (Bsc Thesis Pitch)
  • 13 May 2024, 10:00: Hamidreza Aslani: Software diversity as dataset augmentation for binary code (BSc pitch)
  • 29 April 2024, 10:00: Victor Hucklenbroich: Devising Attacks against Spectral Analysis for Program Clone Detection (BSc Thesis Pitch)
  • 22 April 2024, 10:00: Marco Singhof: Fuzzing Testsuite - Exploiting vulnerabilities in a reproducible manner (BSc Thesis Pitch)
  • 15 April 2024, 11:30: Atai Ruslanov: Exploring possible features for DEXTER binary code embedding (BSc Thesis Pitch)
  • 15 April 2024, 11:00: Leila Masimli: Measuring CodeQL performance against obfuscation techniques (BSc Thesis Pitch)
  • 25 March 2024, 11:45: Ruben Triwari: Rich Semantic Labels for Code Models (BSc Thesis Pitch)
  • 25 March 2024, 11:00: Martin Yankov: Monitoring of the Node Package Manager (MSc Thesis Pitch)
  • 11 March 2024, 11:00: Simon Böhm - Anomaly Detection for Log Messages from Multiple Sources (MSc Thesis Pitch)
  • 15 January 2024, 11:00: Fabian Froh: Cross-Version Static Analysis with CodeQL for Detecting Malicious Code (MSc Thesis)
  • 08 January 2024, 11:00: Marco Korinth: Classifying code modifications in npm packages (BSc Thesis Pitch)
  • 19 December 2023, 10:00: Nicholas Loubser: Malware detection in Open Source Packages using Locality-sensitive Hashing (BSc Thesis Pitch)
  • 04 December 2023, 10:00: Korab Zoigu: LLM Automated black-box adversarial prompting for large language models (MSc Thesis Pitch)
  • 27 November 2023, 11:00: Tristan Benoit: Thesis Defense Rehearsal
  • 20 November 2023, 10:00: Fabian Froh: Differential Static Analysis for Detecting Malicious Updates to Open Source Packages
  • 13 November 2023, 10:00: Fabian Froh: Differential Static Analysis for Detecting Malicious Updates to Open Source Packages
  • 23 October 2023, 11:00: Ihor Chornyi (BSc-Pitch): Deep learned-based Transpilation
  • 18 September 2023, 10:00: Michael Schwarz: When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
  • 11 September 2023, 14:00: Andrei Sabelfeld (Chalmers): Black Ostrich: Web Application Scanning with String Solvers
  • 24 July 2023, 16:15: Xingjian Chen (Master-Abschlussvortrag): Lifted inference using conditional probability logic
  • 17 July 2023, 17:00: Thomas O. (Master-Abschlussvortrag): Static Vulnerability Detection for Decompiled Firmware Binaries
  • 17 July 2023, 16:15: Lars E. (Master-Abschlussvortrag): Third Party Library Detection Using Code Structures
  • 04 July 2023, 10:15: Tristan Benoit: Program Clone Search with Spectral Graph Theory (in L 109)
  • 03 July 2023, 16:30: Ameen Almiftah (Bachelor-Abschlussvortrag): SimPLoID - Simulations with probabilistic logic for infectious disease dynamics
  • 26 June 2023, 16:15: Kilian Rückschloß: Probevorträge für ICLP