Onderzoekers hebben een nieuwe firmware-extensie genaamd MICA ontwikkeld die de beveiliging van Trusted Execution Environments (TEEs) aanzienlijk versterkt. De technologie maakt het mogelijk om communicatiekanalen tussen verschillende beveiligde omgevingen te controleren en te attesteren, zonder dat men volledig hoeft te vertrouwen op de correctheid van de gebruikte code.
In de huidige wereld van confidential computing worden Trusted Execution Environments (TEEs) ingezet om privégeheugens te beschermen en de initiële configuratie van code te verifiëren. Een kritiek zwak punt blijft echter de communicatie. Volgens een wetenschappelijk artikel op arxiv.org beschermen TEE's weliswaar het geheugen, maar ze beperken of controleren de gedeelde kanalen tussen verschillende TEE's of tussen een TEE en een onbetrouwbare host niet.
Dit betekent dat de vertrouwelijkheid van gegevens momenteel afhankelijk is van de functionele correctheid van alle code binnen de TEE die toegang heeft tot deze kanalen. Eén enkele fout in de code kan leiden tot datalekken, wat een groot risico vormt voor moderne cloud-pipelines en agentic applicaties die tijdens runtime zelf code genereren.
De werking van MICA
Om dit probleem op te lossen, hebben Amir Al Sadi en collega-onderzoekers MICA geïntroduceerd. Deze firmware-extensie ontkoppelt de vertrouwelijkheid van de noodzaak om blindelings te vertrouwen op de in-TEE code. Met MICA kunnen gebruikers specifieke beperkingen definiëren en attesteren voor de kanalen tussen TEE's en de host.
Een belangrijk kenmerk van MICA is de ondersteuning voor transitieve beperkingen die over een volledige pipeline spannen. Hierdoor kunnen externe partijen verifiëren welke vertrouwelijkheidseigenschappen gelden voor een hele groep communicerende TEE's. De implementatie is uitgevoerd op Arm CCA door de Realm Management Monitor uit te breiden met een kleine beleidstaal. Volgens de publicatie op waren hiervoor geen hardwarewijzigingen nodig en waren slechts kleine aanpassingen aan KVM en QEMU vereist.
Prestaties en efficiëntie
De evaluatie van het systeem laat zien dat MICA effectief is voor complexe berekeningen in pipelines zonder dat de functionele correctheid van de code een risicofactor vormt. Hoewel de Trusted Computing Base (TCB) met 7% toeneemt, blijven de prestatie-impacten beperkt.
De onderzoekers melden de volgende cijfers in hun rapport op :
- Een overhead bij het opstarten van 2 tot 4%.
- Ongeveer 1,5 seconde voor het uploaden van het beleid.
- Tussen de 246 en 598 milliseconden voor groepsattestatie.
Zodra de verbindingen zijn vastgesteld, verloopt de communicatie tussen Realms direct via beschermd geheugen. Omdat er geen softwarematige encryptie of tussenkomst van MICA nodig is, is de latentie van berichten tussen TEE's tot wel 14,5 keer lager dan bij versleutelde communicatie over onbetrouwbaar geheugen.
Context van digitale diensten
Terwijl academische doorbraken zoals MICA de infrastructuur van het internet beveiligen, maken commerciële platformen steeds vaker gebruik van AI-agenten om informatie toegankelijk te maken. Zo biedt socialdeal.be specifieke machine-leesbare instructies aan voor AI-agenten om de beschikbaarheid van deals efficiënter te indexeren. Deze trend naar agentic applicaties onderstreept de noodzaak voor de beveiliging die MICA probeert te bieden, aangezien dergelijke autonome systemen vaak complexe datastromen beheren.
De bredere digitale omgeving blijft echter complex, waarbij privacy-instellingen en toegangspoorten, zoals die van hln.be, een constante laag van controle vormen tussen de gebruiker en de content. De ontwikkeling van MICA biedt een technisch antwoord op de vraag hoe data veilig kan worden uitgewisseld in een omgeving waar componenten elkaar inherent wantrouwen.