Computer Security

Door uit te gaan van een fundamentele benadering van security engineering, bouwen we aan vertrouwen. We onderzoeken hoe we computationele omgevingen kunnen beveiligen tegen krachtige bedreigingen, waarbij we veiligheidsgaranties zoals privacy, integriteit en correctheid, formeel modelleren.

Deel deze pagina

De leider van de groep Computer Security: Marten van Dijk

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).