Beveiliging voor veiligheidskritieke embedded systemen en IOT

We streven ernaar om de stand van de techniek op het gebied van beveiligingsmechanismen voor embedded systemen te verbeteren. We willen met name een formeel begrip ontwikkelen van verdedigingsmechanismen die embedded software op lichtgewicht microcontrollers beschermen tegen manipulatie door tegenstanders en tegen het lekken van kritieke informatie.