research
∙
01/31/2023
EC-CFI: Control-Flow Integrity via Code Encryption Counteracting Fault Attacks
Fault attacks enable adversaries to manipulate the control-flow of secur...
share
research
∙
10/20/2022
Towards cryptographically-authenticated in-memory data structures
Modern processors include high-performance cryptographic functionalities...
research
∙
04/20/2022
BliMe: Verifiably Secure Outsourced Computation with Hardware-Enforced Taint Tracking
We present Blinded Memory (BliMe), a way to realize efficient and secure...
research
∙
04/08/2022
Color My World: Deterministic Tagging for Memory Safety
Hardware-assisted memory protection features are increasingly being depl...
research
∙
12/09/2019
Camouflage: Hardware-assisted CFI for the ARM Linux kernel
Software control flow integrity (CFI) solutions have been applied to the...
research
∙
09/12/2019
Protecting the stack with PACed canaries
Stack canaries remain a widely deployed defense against memory corruptio...
research
∙
05/24/2019
PACStack: an Authenticated Call Stack
A popular run-time attack technique is to compromise the control-flow in...
research
∙
02/22/2019
Exploitation Techniques and Defenses for Data-Oriented Attacks
Data-oriented attacks manipulate non-control data to alter a program's b...
research
∙
11/22/2018
PAC it up: Towards Pointer Integrity using ARM Pointer Authentication
Run-time attacks against programs written in memory-unsafe programming l...
research
∙
08/20/2018
Mitigating Branch-Shadowing Attacks on Intel SGX using Control Flow Randomization
Intel Software Guard Extensions (SGX) is a promising hardware-based tech...
research
∙
10/17/2017