Veiligheid belangrijk thema in Veni-toekenningen CWI

Onderzoekers Dennis Hofheinz en Milad Niqui van het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam hebben beiden een Veni-subsidie toegekend gekregen voor onderzoek naar computerbeveiliging. De Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO) liet dit op 18 december 2007 in een persbericht weten. Er werden 89 Veni-subsidies toegekend op een totaal van 530 onderzoeksvoorstellen. De talentvolle jonge wetenschappers krijgen ieder maximaal 208.000 euro voor hun vernieuwende en originele onderzoek.

Date: Dec 19, 2007

Onderzoekers Dennis Hofheinz en Milad Niqui van het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam hebben beiden een Veni-subsidie toegekend gekregen voor onderzoek naar computerbeveiliging. De Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO) liet dit op 18 december 2007 in een persbericht weten. Er werden 89 Veni-subsidies toegekend op een totaal van 530 onderzoeksvoorstellen. De talentvolle jonge wetenschappers krijgen ieder maximaal 208.000 euro voor hun vernieuwende en originele onderzoek.

Veiligheid stemmachines
Voor stemmachines of bijvoorbeeld digitaal geld is het noodzakelijk dat de cryptografische systemen die voor de beveiliging zorgen absoluut veilig zijn. Tegenwoordig worden cryptografische systemen steeds complexer. De bewijzen dat ze daadwerkelijk bescherming bieden zijn daardoor bijna niet meer door mensen te maken. Daarom wordt het steeds belangrijker dat controle en bewijsvoering van de veiligheid wordt geautomatiseerd. Dennis Hofheinz (1979), post-doc in de Cryptology and Information Security groep op het CWI, gaat dit verder onderzoeken met zijn Veni-subsidie. Hij wil daartoe de verbindingen tussen de vakgebieden formele methoden en niet-klassieke cryptografie uitbreiden.

Oneindige objecten
Veiligheid speelt ook een rol bij de tweede Veni-subsidie voor het CWI. Het gedrag van operating systems, transacties via internetbankieren en communicatieprotocollen kunnen wiskundig beschreven worden als oneindige objecten. Omdat de veiligheidskritische toepassingen hiervan toenemen, is het belangrijk om een algemeen raamwerk te ontwikkelen voor hun formele verificatie. Milad Niqui (1976) gebruikt zijn Veni-subsidie om een veelgebruikte verificatietool - Coq proof assistant - uit te breiden naar alle gebieden in de wiskunde en informatica waar oneindige objecten een rol spelen.

Het CWI is sinds 1946 het nationale onderzoeksinstituut voor wiskunde en informatica. De komende jaren richt het CWI zich op vier thema's: aard- en levenswetenschappen, data-explosie, maatschappelijke logistiek en software als service.