ERC-Opvangmandaat: Laag-niveau objectmogelijkheden, formeel Vrije Universiteit Brussel
Object capabilities (ocaps) zijn een techniek voor fijnmazige scheiding van privileges in programmeertalen, met toepassingen in beveiliging en software-engineering. Ocaps worden praktisch gebruikt in hoog-niveau programmeertalen, zoals JavaScript, maar recent is er ook een hernieuwde belangstelling voor capability machines: processors die ocaps toepassen op het lage niveau van assembleertalen (lowcaps). Beveiligingsmaatregelen gebaseerd op ...