De Computer Security (CS) groep draagt bij aan het veilig maken van onze samenleving met digitale en fysieke infrastructuren die het vertrouwen genieten van burgers en bedrijven. Ons werk levert een constructieve bijdrage aan nieuwe mechanismen en oplossingen voor beveiligingsproblemen.
We zetten ons in om rigoureus cryptografisch denken toe te passen op beveiligingstechniek. We bestuderen, analyseren en ontwerpen veilige computeromgevingen vanuit verschillende perspectieven, zoals veilige processorarchitecturen en cyberfysieke systeembeveiliging, maar ook veilige machine learning-functionaliteiten. We bieden een holistische benadering en gebruiken verschillende technieken voor het redeneren over beveiliging, veiligheid en veerkracht, variërend van formele methoden tot cryptografische bewijzen.
Lees meer over de Computer Security group (in het Engels).
