Efficiënte hardwaremasking met behulp van heuristische en formele methoden

Side-channel attacks and more specifically fault attacks are used to retrieve sensitive information from embedded devices. So far, most fault and side channel attacks are performed on embedded micro-controllers, of which the architecture is well known. In this research, the plan is to extend this research to more complex architectures, which have architectural features to provide secure software execution. Hardware features to provide security against software attacks in combination with countermeasures against fault attacks is the focus of this project.