activity
20142026
most citedRetrofitting Effect Handlers onto OCaml

55 citations · 142 across the 17 of their papers we have counts for

collaborators
Showing cs.CRShow all

5 papers · 1 filter

cs.CR2026

NERVE Attacks: Breaking AI-Powered Brain-Computer Interfaces

Zahra Tarkhani, Georgios Akkogiounoglou, Lorena Qendro +2

The rapid integration of AI into human-centred systems such as Brain-Computer Interfaces (BCIs) has created a poorly understood attack surface linking neural signals to physical sy…

cs.CR2025

What if we could hot swap our Biometrics?

Jon Crowcroft, Anil Madhavapeddy, Chris Hicks +2

What if you could really revoke your actual biometric identity, and install a new one, by live rewriting your biological self? We propose some novel mechanisms for hot swapping ide…

cs.CR2023

Enabling Lightweight Privilege Separation in Applications with MicroGuards

Zahra Tarkhani, Anil Madhavapeddy

Application compartmentalization and privilege separation are our primary weapons against ever-increasing security threats and privacy concerns on connected devices. Despite signif…

cs.CR2022★ 2 cited

Enhancing the Security & Privacy of Wearable Brain-Computer Interfaces

Zahra Tarkhani, Lorena Qendro, Malachy O'Connor Brown +3

Brain computing interfaces (BCI) are used in a plethora of safety/privacy-critical applications, ranging from healthcare to smart communication and control. Wearable BCI setups typ…

cs.CR2020★ 4 cited

Enclave-Aware Compartmentalization and Secure Sharing with Sirius

Zahra Tarkhani, Anil Madhavapeddy

Hardware-assisted trusted execution environments (TEEs) are critical building blocks of many modern applications. However, they have a one-way isolation model that introduces a sem…