Bild: AdobeStock
Forskargrupp Vår forskargrupp utvecklar verktyg och tekniker för att utvärdera programvara under hela dess livscykel. Vi vill se till att den beter sig korrekt och identifiera svagheter, sårbarheter och buggar i syfte att förhindra att programvaran utnyttjas i verkligheten.
Våra samhällen är beroende av programvara och varje dag interagerar vi med denna teknik utan att ens veta om att den finns där. Det handlar bland annat om system inom infrastrukturen för el, hälsovårdssystem, bilar, betalningssystem, stormarknader, nyheter, sociala medier och mycket mer.
Dessutom analyseras, lagras och nås de uppgifter vi producerar med hjälp av programvara. Tyvärr kan denna innehålla svagheter, vilket kan bero på misstag eller vara avsiktliga, t.ex. vid en attack i leveranskedjan.
Vår forskargrupp strävar efter att förbättra programvarans kvalitet genom att identifiera och avlägsna svagheter under hela dess livscykel – från utformning och genomförande till test och drift. Vi utvecklar verktyg och metoder för att analysera programvara, testa programvara, förstå programvara och skydda programvara från fel och sårbarheter.
Vår forskning fokuserar på, men är inte begränsad till, följande ämnen:
Avslöjar sårbarheter i programvara och utvecklar verktyg som förebygger attacker mot digitala system.
Sabine Houy presenterar en ny automatiserad lösning på ett komplext problem.
Prisregn över Alexandre Bartel, professor i programvaruteknik och datasäkerhet, som nu rekryterar.
