168 citations · 686 across the 15 of their papers we have counts for
16 papers
FishFuzz: Throwing Larger Nets to Catch Deeper Bugs
Han Zheng, Jiayuan Zhang, Yuhang Huang +6
Greybox fuzzing is the de-facto standard to discover bugs during development. Fuzzers execute many inputs to maximize the amount of reached code. Recently, Directed Greybox Fuzzers…
Designing a Provenance Analysis for SGX Enclaves
Flavio Toffalini, Mathias Payer, Jianying Zhou +1
Intel SGX enables memory isolation and static integrity verification of code and data stored in user-space memory regions called enclaves. SGX effectively shields the execution of…
PACSan: Enforcing Memory Safety Based on ARM PA
Yuan Li, Wende Tan, Zhizheng Lv +4
Memory safety is a key security property that stops memory corruption vulnerabilities. Existing sanitizers enforce checks and catch such bugs during development and testing. Howeve…
Magma: A Ground-Truth Fuzzing Benchmark
Ahmad Hazimeh, Adrian Herrera, Mathias Payer
High scalability and low running costs have made fuzz testing the de facto standard for discovering software bugs. Fuzzing techniques are constantly being improved in a race to bui…
BLURtooth: Exploiting Cross-Transport Key Derivation in Bluetooth Classic and Bluetooth Low Energy
Daniele Antonioli, Nils Ole Tippenhauer, Kasper Rasmussen +1
The Bluetooth standard specifies two transports: Bluetooth Classic (BT) for high-throughput wireless services and Bluetooth Low Energy (BLE) for very low-power scenarios. BT and BL…
Decentralized Privacy-Preserving Proximity Tracing
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux +31
This document describes and analyzes a system for secure and privacy-preserving proximity tracing at large scale. This system, referred to as DP3T, provides a technological foundat…