Projekte der Fachgruppe Secure Software Engineering
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. Sie 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
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
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