Hardware-software co-design voor het vollediger afdwingen van systeem-beveiliging KU Leuven
Moderne hardware is sterk afhankelijk van optimalisaties om de prestaties te verbeteren. Helaas gaan deze optimalisaties vaak ten koste van de beveiliging. Hardware-software co-design is een veelbelovende oplossing om deze aanvallen tegen redelijke kost in te perken, maar is een uitdaging. Het ontwerpen van hardwareverdedigingen die aantoonbaar een volledigere beveiliging bieden, vereist (1) het formaliseren van de garanties van deze ...