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:
Ger en överblick och förståelse för säkerhetsrisker och vad som kan göras för att minimera skadorna.
Personuppgifter kan ha läckts av de företag som hanterar covidtester.
