Aantoonbaar veilige systemen met universele contracten en veilige compilatie. KU Leuven
Een van de drijvende ambities van mijn onderzoek is het mogelijk en betaalbaar maken om systemen te ontwikkelen met een rigoureus bewijs van belangrijke beveiligingseigenschappen.
Stel je bijvoorbeeld voor dat je de software voor een slim apparaat bouwt met een computergeverifieerde garantie dat het uitsluitend zal communiceren met servers op example.com, of software voor een industriele controller waarvan bewezen kan worden dat hij ...