55 citations · 142 across the 17 of their papers we have counts for
17 papers
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…
Bidirectional Type Slicing
Max Carroll, Anil Madhavapeddy, Cyrus Omar
Development tools report what type an expression has, but not why it has that type. This paper develops a theory of type slicing: a programmer selects a term, queries any part of i…
Package Managers à la Carte: A Formal Model of Dependency Resolution
Ryan Gibb, Patrick Ferris, David Allsopp +2
Package managers are legion. Every programming language and operating system has its own solution, each with subtly different semantics for dependency resolution. This fragmentatio…
Airborne assessment uncovers socioeconomic stratification of urban nature in England
Andrés Camilo Zúñiga-González, Anil Madhavapeddy, Ronita Bardhan
Nature access is increasingly recognised as a public health and equity imperative, yet cities lack standardised ways to measure who benefits from green infrastructure. We present t…
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…
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…
Planetary computing for data-driven environmental policy-making
Patrick Ferris, Michael Dales, Sadiq Jaffer +8
We make a case for "planetary computing" -- infrastructure to handle the ingestion, transformation, analysis and publication of global data products for furthering environmental sc…
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…
How Computer Science Can Aid Forest Restoration
Gemma Gordon, Amelia Holcomb, Tom Kelly +3
The world faces two interlinked crises: climate change and loss of biodiversity. Forest restoration on degraded lands and surplus croplands can play a significant role both in sequ…
Retrofitting Effect Handlers onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White +3
Effect handlers have been gathering momentum as a mechanism for modular programming with user-defined effects. Effect handlers allow for non-local control flow mechanisms such as g…
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…
Tiles: Efficient Intra-Process Privilege Enforcement of Memory Regions
Zahra Tarkhani, Anil Madhavapeddy
With the alarming rate of security advisories and privacy concerns on connected devices, there is an urgent need for strong isolation guarantees in resource-constrained devices tha…
Retrofitting Parallelism onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White +6
OCaml is an industrial-strength, multi-paradigm programming language, widely used in industry and academia. OCaml is also one of the few modern managed system programming languages…
Programming Unikernels in the Large via Functor Driven Development
Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy +5
Compiling applications as unikernels allows them to be tailored to diverse execution environments. Dependency on a monolithic operating system is replaced with linkage against libr…
Fractal: Automated Application Scaling
Masoud Koleini, Carlos Oviedo, Derek McAuley +5
To date, cloud applications have used datacenter resources through manual configuration and deployment of virtual machines and containers. Current trends see increasing use of micr…
Personal Data: Thinking Inside the Box
Hamed Haddadi, Heidi Howard, Amir Chaudhry +3
We propose there is a need for a technical platform enabling people to engage with the collection, management and consumption of personal data; and that this platform should itself…
Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles
Magnus Skjegstad, Anil Madhavapeddy, Jon Crowcroft
Devices connected to the Internet today have a wide range of local communication channels available, such as wireless Wifi, Bluetooth or NFC, as well as wired backhaul. In densely…