Informationssäkerhet

Avdelningen bedriver forskning och utbildning inom ett brett fält av informationssäkerhetsteknik. Vår forskning inkluderar, men är inte begränsad till:
  • Språkbaserad säkerhet. Utveckling av säkerhetsmodeller och metoder för mjukvarukonstruktion för säkra system baserade på programspråksteknologi.
  • Grunder för säkerhet och integritet. Rigorösa resonemang och formella metoder för säkerhet och integritet.
  • Programsäkerhet. Specificera, verkställa, verifiera och testa säkerhet och sekretesspolicy på applikationsnivå.
  • Systemsäkerhet. Verktyg och mjukvarubibliotek för att bygga säkra system från otillförlitliga eller osäkra komponenter.
  • Integritet. Protokoll och mekanismer för positionsintegritet; integritetsförbättrande protokoll och inbyggda skyddsmekanismer; differentiell integritet.

Publicerad: on 14 dec 2016. Ändrad: on 25 jan 2017