💻 computer science

Half-Moon Cookie: Private, Similarity-Based Blocklisting with TOCTOU-Attack Resilience

Dit paper introduceert Half-Moon Cookie, een privaat blocklistingsysteem dat het controleren van items op gelijkenis met bekende malware mogelijk maakt zonder de blocklist of client-invoer te onthullen, terwijl het bovendien tijd-gevoelige (TOCTOU) aanvallen voorkomt door een efficiënt verificatiemechanisme voor eerder gecontroleerde items.

Oorspronkelijke auteurs: Xinyuan Zhang, Anrin Chakraborti, Michael K. Reiter

Gepubliceerd 2026-04-20

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Xinyuan Zhang, Anrin Chakraborti, Michael K. Reiter

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Het Probleem: De "Verkeerde Vrijbrief"

Stel je voor dat je een pakketje (een bestand, zoals een e-mailbijlage) wilt sturen naar een vriend. Je wilt zeker weten dat er geen gevaarlijke spullen (virussen) in zitten.

In de huidige wereld zijn er twee manieren om dit te doen, maar beide hebben een groot nadeel:

De open lijst: De server heeft een lijst met bekende virussen. Jij moet je pakketje laten zien aan de server om te checken. Nadeel: De server ziet dan precies wat je stuurt. Dat is een privacy-probleem als je vertrouwelijke documenten verstuurt.
De geheime lijst: De server houdt zijn lijst met virussen geheim. Jij mag je pakketje niet laten zien, maar de server moet wel checken of het erop lijkt. Nadeel: Dit is technisch erg zwaar en traag. Als je dit elke keer doet vlak voor je het bestand opent, duurt het te lang.

Het echte gevaar: De "TOCTOU"-valstrik
Stel, je controleert het pakketje om 10:00 uur en het is veilig. Je stuurt het naar je vriend. Maar tussen 10:00 en 10:05 uur (tijdens het verzenden) verandert de hacker het pakketje in een virus. Je vriend opent het om 10:05 uur. Omdat de check al lang geleden was, denkt hij dat het veilig is. Dit heet een TOCTOU-aanval (Time Of Check, Time Of Use). De tijd tussen de check en het gebruik is het zwakke punt.

De Oplossing: Half-Moon Cookie

De onderzoekers van Duke University en UChicago hebben een slimme oplossing bedacht: Half-Moon Cookie.

De naam is een knipoog naar een beroemd koekje dat aan de ene kant van vanille-ijs en aan de andere kant van chocolade-ijs is. Het systeem werkt ook met twee "kanten":

De dure check (De Vanille-kant): Eenmalig en zorgvuldig.
De snelle check (De Chocolade-kant): Snel en makkelijk voor iedereen die het daarna ontvangt.

Hier is hoe het werkt, stap voor stap:

Stap 1: De "Digitale Stempel" (De Expliciete Check)

Stel, jij bent de afzender. Je hebt een bestand dat je wilt sturen.

Jij en de beveiligingsserver doen een complexe, privacy-bewuste dans. Jij laat je bestand zien aan de server, maar de server ziet niet wat het bestand inhoudt (het blijft een raadsel voor de server).
De server checkt: "Lijkt dit op een virus?"
Als het veilig is: De server maakt een geheime, onnavolgbare stempel (een token) voor dat specifieke bestand. Hij slaat deze stempel op in een "Goedkeuringen-lijstje" (Allowlist).
Als het een virus is: De server zegt niets, en jij krijgt geen stempel.

Belangrijk: Omdat dit proces zwaar is, doe je dit alleen maar als afzender, voordat je het bestand verstuurt. Je vriend hoeft dit zware werk niet te doen.

Stap 2: De "Snelweg" (De Impliciete Check)

Nu stuur je het bestand naar je vriend (of honderden vrienden).

Je vriend krijgt het bestand én die geheime stempel mee.
Vlak voordat hij het bestand opent, doet hij een snelle check met de server.
Hij vraagt niet: "Is dit bestand veilig?" (dat zou weer de zware check zijn). Hij vraagt: "Heeft iemand anders al een stempel voor dit bestand gekregen?"
De server kijkt in zijn lijstje. Als de stempel klopt, zegt hij: "Ja, dit bestand is gecontroleerd."
Resultaat: Je vriend kan het bestand direct openen. Het kost een fractie van de tijd van de eerste check.

Waarom is dit zo slim? (De Analogieën)

1. De "Gevangenisbewaker" (Privacy)
Stel je voor dat de server een bewaker is in een gevangenis.

Oude manier: De gevangene (jij) moet zijn kleren uitdoen en de bewaker laten zien wat hij heeft. De bewaker ziet alles.
Half-Moon manier: De gevangene doet zijn kleren in een ondoorzichtige kist. De bewaker heeft een magische scanner die alleen zegt: "Is er een wapen in?" zonder de kist te openen. Als het veilig is, krijgt de kist een zegel. Later hoeft de ontvanger de kist niet te openen; hij hoeft alleen te kijken of het zegel er nog op zit.

2. De "Gevarenkaart" vs. "Goedkeuringstempel"

De lijst met virussen (Blocklist) is als een enorme, geheimgehouden Gevarenkaart die alleen de server heeft.
De lijst met goedgekeurde bestanden (Allowlist) is als een Goedkeuringstempel.
De kracht van Half-Moon is dat de server de Gevarenkaart nooit aan jou laat zien, en jij laat de server nooit je bestand zien. Toch weten jullie allebei of het veilig is.

3. De "TOCTOU"-valstrik opgelost
Stel, een hacker probeert het bestand te veranderen nadat jij de stempel hebt gekregen.

Omdat de stempel gebonden is aan het exacte bestand (zoals een vingerafdruk), werkt de stempel niet meer als het bestand ook maar één puntje verandert.
Als de hacker het bestand aanpast, klopt de stempel niet meer. De vriend ziet dat de stempel niet overeenkomt met het bestand en blokkeert het direct. De hacker kan niet "tussen de check en het gebruik" inbreken.

Samenvatting in één zin

Half-Moon Cookie is een slim systeem waarbij de afzender een zware, privacy-bewuste controle doet om een "veiligheidszegel" te verdienen, waarna ontvangers dat bestand later razendsnel en veilig kunnen gebruiken zonder dat ze hun privacy opgeven of de server hun bestanden hoeft te zien.

Het combineert de veiligheid van een strenge controle met de snelheid van een simpele stempel-check, zodat hackers geen kans krijgen om bestanden te vervalsen tussen de controle en het gebruik.

Probleemstelling

Traditionele blokkadelijsten (blocklists) zijn een hoeksteen van computersystemenbeveiliging, gebruikt om malware, spam en andere schadelijke inhoud te blokkeren. Er zijn echter twee fundamentele problemen bij het implementeren van privacy-bewuste blokkadelijsten:

Privacy: Bij het controleren van een item (bijv. een e-mailbijlage) tegen een blokkadelijst moet vaak de inhoud van het item naar de server worden gestuurd (wat de privacy van de gebruiker schendt) of moet de blokkadelijst naar de client worden gestuurd (wat de intellectuele eigendom van de leverancier schendt).
TOCTOU-aanvallen (Time-of-Check vs. Time-of-Use): Als een blokkadelijstcontrole wordt uitgevoerd voordat een bestand wordt gebruikt (bijv. door de afzender), kan het bestand tussen de controle en het gebruik worden gewijzigd of kan de blokkadelijst worden bijgewerkt met nieuwe dreigingen. Dit creëert een kwetsbaarheidsvenster. Als de controle direct voor het gebruik wordt uitgevoerd, introduceert dit vaak te hoge latentiteit en kosten, vooral bij complexe cryptografische protocollen voor privacy-bewuste vergelijkingen.

Het doel van dit onderzoek is een framework te creëren dat privacy garandeert voor zowel de client als de server, ondersteuning biedt voor gelijkheidsgebaseerde controles (niet alleen exacte matches, maar ook malware-varianten), en de TOCTOU-kwetsbaarheid oplost zonder de prestaties te beïnvloeden.

Methodologie: Half-Moon Cookie

De auteurs introduceren Half-Moon Cookie (of "Half Moon"), een drie-partijen protocol bestaande uit een verzendende client ( $C_{snd}$ ), een ontvangende client ( $C_{rcv}$ ) en een server ( $S$ ) met een eigen blokkadelijst. Het protocol splitst het proces op in twee fasen om de kosten te minimaliseren en TOCTOU-aanvallen te voorkomen:

1. Expliciete Controle (Explicit Check)

Deze fase wordt uitgevoerd door de afzender ( $C_{snd}$ ) voordat het bestand wordt verzonden.

Doel: Controleren of het bestand $w$ lijkt op een item in de server's blokkadelijst $U_{blk}$ , zonder dat $S$ de inhoud van $w$ ziet en zonder dat $C_{snd}$ de blokkadelijst ziet.
Techniek:
- Embedding: Het bestand wordt omgezet in een vector in een metriekruimte (Hamming-afstand) via een "fuzzy hashing" methode (zoals TLSH).
- Garbled Circuits: Om te voorkomen dat een kwaadaardige afzender een verkeerde hash indient, wordt de embedding uitgevoerd binnen een Garbled Circuit (verward circuit). De server garbelt het circuit met de embedding-sleutel, en de client evalueert het.
- Optimalisatie: Om de kosten voor grote bestanden te verlagen, gebruiken de auteurs herbruikbare Garbled Circuits (CRGC). Dit splitst het circuit op in een herbruikbaar deel (voor lineaire bewerkingen op het bestand) en een niet-herbruikbaar deel, waardoor de kosten onafhankelijk worden van de bestandsgrootte.
- Test-and-Commit: Als het bestand niet in de blokkadelijst zit, genereert de server een verbergend en bindend token ( $\gamma$ ) en voegt deze toe aan een toestemmingslijst (allowlist). Dit token is een cryptografische binding van het bestand dat later kan worden geverifieerd zonder de inhoud te onthullen.

2. Impliciete Controle (Implicit Check)

Deze fase wordt uitgevoerd door de ontvanger ( $C_{rcv}$ ) vlak voor het gebruik van het bestand.

Doel: Verifiëren dat het bestand eerder succesvol is gecontroleerd, zonder de dure expliciete controle opnieuw uit te voeren.
Techniek:
- De ontvanger ontvangt het bestand en het token van de afzender.
- De ontvanger vraagt de server om de token te verifiëren via een snelle toestemmingslijst-check.
- Omdat de token cryptografisch gebonden is aan het bestand, kan een kwaadaardige afzender het token niet gebruiken voor een ander, kwaadaardig bestand (TOCTOU-resistentie).
- Deze check is veel sneller dan de expliciete check omdat deze onafhankelijk is van de grootte van de blokkadelijst; het is slechts een exacte match van een token.

Cryptografische Primitieven

Fuzzy Private Set Intersection (PSI): Gebruikt voor het controleren van afstand in de Hamming-ruimte zonder de vectoren te onthullen.
One-Time Pairwise Unpredictable Permutations: Zorgen ervoor dat de server de ingevoerde waarden niet kan voorspellen of manipuleren.
Blind Tokens: Het token $\gamma$ is een lineaire combinatie van de embedded waarde en een willekeurige masker, wat zorgt voor privacy (de server ziet $\gamma$ maar kan $w$ niet afleiden).

Belangrijkste Bijdragen

Het Half-Moon Primitief: Een formeel gedefinieerd framework voor privacy-bewuste blokkadelijsten dat zowel een dure expliciete check als een snelle impliciete check ondersteunt.
TOCTOU-Resilience: Door het gebruik van een bindend token dat na een succesvolle expliciete check wordt gegenereerd, kunnen ontvangers snel verifiëren dat een bestand veilig is, zelfs als de blokkadelijst tussentijds is bijgewerkt, zonder de TOCTOU-kwetsbaarheid.
Efficiënte Implementatie:
- Ontwikkeling van een protocol dat gelijkheidsgebaseerde controles (similarity-based) ondersteunt in plaats van alleen exacte matches.
- Gebruik van herbruikbare Garbled Circuits om de kosten van het embedden van grote bestanden (zoals malware) drastisch te verlagen.
- Een ontwerp waarbij de kosten van de expliciete check lineair zijn met de grootte van de blokkadelijst (in clusters) en niet met het product van bestandsgrootte en lijstgrootte.
Praktische Toepassing: Een volledige implementatie en evaluatie voor malware-detectie in e-mailbijlagen, waarbij de afzender de scan uitvoert en de ontvangers slechts een snelle verificatie nodig hebben.

Resultaten en Evaluatie

De auteurs hebben een prototype geïmplementeerd in C++ en getest op een server met 12 kernen en clients met 4 kernen.

Prestaties Expliciete Check:
- Het gebruik van herbruikbare Garbled Circuits (RGC) reduceerde de communicatiekosten met meer dan twee orde van grootte en de responstijd met minstens één orde van grootte vergeleken met traditionele monolithische Garbled Circuits.
- Voor een bestand van 10 kB en een blokkadelijst van 100 items bedroeg de responstijd ongeveer 19 seconden.
- De schaalbaarheid was goed: de server kon tot ~250 gelijktijdige clients hanteren voordat de prestaties verslechterden. De grootte van de blokkadelijst had meer invloed op de doorvoer dan de grootte van het bestand.
Prestaties Impliciete Check:
- De impliciete check is extreem snel: 0,19 seconden responstijd en slechts 7,2 KB communicatie.
- Dit is twee tot drie orde van grootte sneller en efficiënter dan bestaande fuzzy PSI-protocollen of exacte PSI-protocollen.
Hash-functies: De studie vergeleek TLSH, ssdeep en sdhash. TLSH bleek de beste balans te bieden tussen snelheid en compatibiliteit met het Half-Moon framework, vooral omdat ssdeep extra embed-steps vereiste die de kosten verhoogden.

Betekenis en Impact

Half-Moon Cookie biedt een praktische oplossing voor een langdurig probleem in de cybersecurity: het balanceren van privacy, efficiëntie en veiligheid.

Privacy voor Bedrijven en Gebruikers: Bedrijven kunnen hun eigen blokkadelijsten (intellectueel eigendom) veilig delen met clients zonder deze te onthullen, en clients kunnen hun bestanden scannen zonder hun data te lekken naar de server.
TOCTOU-Oplossing: Het lost een kritieke zwakte in bestaande cloud-antivirusoplossingen op door de controle te verplaatsen naar de afzender (waar het minder kritiek is voor de ontvanger) en een snelle, cryptografisch veilige verificatie voor de ontvanger mogelijk te maken.
Schaalbaarheid: Door de kosten te scheiden van de bestandsgrootte en de blokkadelijstgrootte, maakt het protocol privacy-bewuste scanning haalbaar voor grote bestanden en grote lijsten, wat essentieel is voor moderne cloud-diensten en e-mailinfrastructuur.

Samenvattend introduceert Half-Moon Cookie een nieuw paradigma voor privacy-bewuste beveiliging dat de trade-off tussen privacy en prestaties effectief doorbreekt en kwetsbaarheden voor tijdsafhankelijke aanvallen (TOCTOU) elimineert.