Projekte von Prof. Dr. Eric Bodden
ERC-Grant: Self-Optimizing Static Program Analysis
Softwaresysteme durchdringen unser privates und berufliches Leben, doch ihre Unsicherheit bedroht unsere Gesellschaft. Um zu gew?hrleisten, dass Softwaresysteme zuverl?ssig und sicher sind, muss man sich Gedanken über ihren Code machen. Die statische Programmanalyse erm?glicht solche ?berlegungen. 360直播吧 kann auf einzelne Softwarekomponenten ...
Laufzeit: 11/2024 - 10/2029
Gef?rdert durch: EU
SFB 901 - Zuverl?ssige und automatisierte codebasierte Analyse von Open-Source-Abh?ngigkeiten (Reaktor) (Transferprojekt T5)
Zusammenfassung des Teilprojekts T5Dieses Transferprojekt baut auf Forschungen des Sonderforschungsbereichs 901 "On-The-Fly Computing" auf. In diesem Transferprojekt erforschen wir, wie Techniken aus der Qualit?tssicherung von Diensten in On-The-Fly-Dienstleitungsm?rkten auf das dr?ngende Problem der sicheren Verwaltung von ...
Laufzeit: 10/2024 - 09/2026
Gef?rdert durch: DFG
Spezifizierbare Erkennung von API-Falschverwendungen in CI Pipelines
Die korrekte Verwendung von APIs ist entscheidend für die Vermeidung von fehlerhaftem und unsicherem Code. Für Datensicherheit sind besonders kryptographische APIs wichtig, aber auch allgemeine (alle anderen) APIs müssen richtig verwendet werden, um sichere Software mit hoher Qualit?t zu entwickeln. Um die sichere und richtige Verwendung von APIs ...
Laufzeit: 02/2023 - 08/2024
Gef?rdert durch: BMBF
SAIL - Nachhaltiger Lebenszyklus von intelligenten soziotechnischen Systemen
Durch SAIL wird das bestehende Forschungsnetzwerk aus Uni Bielefeld, Uni Paderborn, TH OWL und FH Bielefeld im Bereich der künstlichen Intelligenz (KI) vertieft und weiterentwickelt. SAIL adressiert die n?chste Stufe der KI-Entwicklung, indem der gesamte Lebenszyklus von KI-Systemen und deren technologische und gesellschaftliche Auswirkungen in den ...
Laufzeit: 08/2022 - 07/2026
Gef?rdert durch: MKW NRW
SFB 901 - Automatisierte Risikoanalyse in Bezug auf Open-Source-Abh?ngigkeiten (Hektor) (Transferproject T3)
Dieses Transferprojekt baut auf der Forschung des Sonderforschungsbereichs 901 "On-The-Fly Computing" auf. Es erforscht, wie Techniken aus der Qualit?tssicherung von Dienstleistungen in On-The-Fly-Dienstleistungsm?rkten auf das dr?ngende Problem des sicheren Managements von Open-Source-Abh?ngigkeiten in gro?en Software-Entwicklungs?kosystemen ...
Laufzeit: 08/2021 - 09/2024
Gef?rdert durch: DFG
KI Marktplatz - Die digitale Plattform für Innovationen von morgen (KI-Marktplatz Umsetzungsphase) - ?kosystem für Künstliche Intelligenz in der Produktentstehung
Seit Anfang 2020 wird im Forschungsprojekt KI-Marktplatz unter der Leitung des Heinz Nixdorf Instituts an einem digitalen Marktplatz für Künstliche Intelligenz (KI) in der Produktentstehung gearbeitet. Dabei entsteht ein Innovations?kosystem, das Anwender*innen, Anbieter*innen und Expert*innen für KI zusammenbringt, um die Innovationskraft ...
Laufzeit: 01/2020 - 12/2022
Gef?rdert durch: BMWK
Kontakt: Ruslan Bernijazov, Dr. Christian Koldewey, Leon ?zcan
CodeShield – Sicherheitslücken entlang der Software-Supply-Chain aufdecken
CodeShield ist das erste Security-Werkzeug, das automatisiert neue und unbekannte Sicherheitslücken aufdecken kann – sowohl im projekteigenen Code als auch in Fremdcode (Bibliotheken). Es integriert sich dafür nahtlos in die gewohnte Entwicklungsumgebung von Softwareentwicklern. Das Projekt wird durch die Start-up Transfer NRW F?rderung unterstützt ...
Laufzeit: 11/2019 - 12/2020
Gef?rdert durch: EU, EFRE.NRW
CROSSING - Kryptografiebasierte Sicherheitsl?sungen: Vertrauen in die neue und n?chste Generation von Computerumgebungen
Im Rahmen des DFG Sonderforschungsbereichs 1119, CROSSING, leiten wir das Projekt Secure Integration of Cryptographic Software. Zusammen mit Mira Mezinis Software Technology Group erforschen wir Mittel, um Entwicklern bei der sicheren Integration von kryptographischen Bibliotheken zu unterstützen.
Laufzeit: 07/2018 - 06/2026
Gef?rdert durch: DFG
GPA - Gamification of Program Analysis
Laufzeit: 01/2018 - 12/2019
Gef?rdert durch: BMBF
Zukunftssicherung des Soot Rahmenwerks für Programmanalyse und -transformation (FutureSoot)
Soot ist das wohl weltweit beliebteste Rahmenwerk zur Analyse und Transformation von Java- und Android-Programmen. ?ber seine mehr als fünfzehnj?hrige Lebensdauer hinweg sind unz?hlige wissenschaftliche Werkzeuge entstanden, die direkt auf Soot aufbauen. Das Soot Rahmenwerk bietet diesen Werkzeugen hiermit eine gemeinsame Implementierungsplattform, ...
Laufzeit: 01/2018 - 12/2023
Gef?rdert durch: DFG