research
∙
06/15/2022
Designing a Provenance Analysis for SGX Enclaves
Intel SGX enables memory isolation and static integrity verification of ...
share
research
∙
09/24/2020
BLURtooth: Exploiting Cross-Transport Key Derivation in Bluetooth Classic and Bluetooth Low Energy
The Bluetooth standard specifies two incompatible wireless transports: B...
research
∙
09/02/2020
Magma: A Ground-Truth Fuzzing Benchmark
High scalability and low running costs have made fuzz testing the de fac...
research
∙
05/25/2020
Decentralized Privacy-Preserving Proximity Tracing
This document describes and analyzes a system for secure and privacy-pre...
research
∙
11/21/2019
Too Quiet in the Library: A Study of Native Third-Party Libraries in Android
Android applications ("apps") make avid use of third-party native librar...
research
∙
06/07/2019
Software Ethology: An Accurate and Resilient Semantic Binary Analysis Framework
When reverse engineering a binary, the analyst must first understand the...
research
∙
03/05/2019
SMoTherSpectre: exploiting speculative execution through port contention
Spectre, Meltdown, and related attacks have demonstrated that kernels, h...
research
∙
11/07/2018
Shining Light On Shadow Stacks
Control-Flow Hijacking attacks are the dominant attack vector to comprom...
research
∙
05/12/2018