Abstrakt. Intels Software Guard Extensions (SGX) ger en ny hårdvarubaserad betrodd körning miljö på Intel-processorer med hjälp av säkra enklaver som är motståndskraftiga mot åtkomst av privilegierad kod och fysiska angripare. Ursprungligen utformad för att säkra små tjänster, SGX bär lovar att skydda komplexa, eventuellt moln-värd, äldre program. I den här artikeln visar vi att tidigare anses ofarliga synkronisering buggar kan förvandlas till allvarliga säkerhetssårbarheter när du använder SGX. Genom att utnyttja användning-efter-fri och tid-av-kontroll-till-tid-användning (TOCTTOU) buggar i enklave-kod, en angripare kan kapa sitt kontrollflöde eller bypass-åtkomstkontroll. Vi presenterar AsyncShock, ett verktyg för att utnyttja synkronisering buggar av multitrådad kod som körs under SGX. AsyncShock uppnår detta genom att bara manipulera schemaläggningen av trådar som används för att köra enklavkod. Det gör det möjligt för en angripare att avbryta trådar genom att tvinga segmenteringsfel på enklavsidor. Vår utvärdering med hjälp av två typer av Intel Skylake CPUs visar att AsyncShock tillförlitligt kan utnyttja användning-efter-fri och TOCTTOU buggar.
Nico Weichbrodt m.fl. REF visar att neutral synkronisering buggar i enklave-kod kan förvandlas till allvarliga säkerhetsbrister som hjälper en angripare att kapa enklaves kontrollflöde eller kringgå åtkomstkontroll.
AsyncShock: Exploiting Synchronisation Bugs in Intel SGX Enclaves
{'venue': 'ESORICS', 'journal': None, 'mag_field_of_study': ['Computer Science']}