Publications

My research explores how to make complex systems observable enough to secure, understand, and safely modify them. I work on system auditing and accountability, intrusion detection, and mechanisms for safely extending and optimizing complex systems.

2026

(2026). LARES: Host-centered Lateral Movement Detection via Inductive Graph Reasoning. IEEE ACSAC'26.
(2026). Inside Out: A Paradigm Shift In VM Introspection. USENIX OSDI'26.

2025

(2025). Sometimes Simpler is Better: A Comprehensive Analysis of State-of-the-Art Provenance-Based Intrusion Detection Systems. USENIX Sec'25.
(2025). ORTHRUS: Achieving High Quality of Attribution in Provenance-based Intrusion Detection Systems. USENIX Sec'25.
(2025). On the Reproducibility of Provenance-based Intrusion Detection that uses Deep Learning. ACM REP'25.
PDF

2024

(2024). SafeBPF: Hardware-assisted Defense-in-depth for eBPF Kernel Extensions. ACM CCSW'24.
(2024). FetchBPF: Customizable Prefetching Policies in Linux with eBPF. USENIX ATC'24.
(2024). Computational Experiment Comprehension using Provenance Summarization. ACM REP'24.
PDF
(2024). Kairos: Practical Intrusion Detection and Investigation using Whole-system Provenance. IEEE S&P'24.

2023

(2023). Unleashing Unprivileged eBPF Potential with Dynamic Sandboxing. SIGCOMM Workshop on eBPF and Kernel Extensions.

2022

(2022). A large-scale study on research code quality and execution. Nature Scientific Data.

2021

(2021). Secure Namespaced Kernel Audit for Containers. ACM SoCC'21.
PDF
(2021). SIGL: Securing Software Installations Through Deep Graph Learning. USENIX Sec'21.
PDF

2020

(2020). Xanthus: Push-button Orchestration of Host Provenance Data Collection. ACM P-RECS'20.
PDF
(2020). To Tune or Not to Tune? In Search of Optimal Configurations for Data Analytics. ACM KDD'20.
PDF
(2020). UNICORN: Runtime Provenance-Based Detector for Advanced Persistent Threats. NDSS'20.
PDF
(2020). Rclean: A Tool for Writing Cleaner, More Transparent Code. In The Journal of Open Source Software.
(2020). Demonstrating the Practicality of Unikernels to Build a Serverless Platform at the Edge. In IEEE CloudCom'20.

2019

(2019). ProvMark: A Provenance Expressiveness Benchmarking System. ACM/IFIP Middleware'19.
PDF
(2019). From Here to Provtopia. Springer Poly'19.
PDF
(2019). Towards Seamless Configuration Tuning of Big Data Analytics. IEEE ICDCS'19.
(2019). Viewpoint | Personal Data and the Internet of Things: It is time to care about digital provenance. In Communications of the ACM.

2018

(2018). Runtime Analysis of Whole-System Provenance. In CCS ‘18.
(2018). Provenance-based Intrusion Detection: Opportunities and Challenges. In Workshop on the Theory and Practice of Provenance.
PDF
(2018). Sharing and Preserving Computational Analyses for Posterity with encapsulator. In Computing in Science & Engineering.
(2018). Data provenance to audit compliance with privacy policy in the Internet of Things. In Personal and Ubiquitous Computing.

2017

(2017). Practical Whole-System Provenance Capture. In SoCC ‘17.
(2017). If these data could talk. In SciData.
(2017). FRAPpuccino: Fault-detection through Runtime Analysis of Provenance. In HotCloud.
PDF
(2017). PHP2Uni: Building Unikernels using Scripting Language Transpilation. In IC2E.

2016

(2016). Big Ideas paper: Policy-driven middleware for a legally-compliant Internet of Things. In Middleware.
(2016). Data-Centric Access Control for Cloud Computing. In SACMAT.
(2016). Twenty security considerations for cloud-supported Internet of Things. In IoT Journal.
(2016). Information Flow Audit for PaaS clouds. In IC2E.

2015

(2015). Clouds of Things Need Information Flow Control with Hardware Roots of Trust. In CloudCom.
(2015). CamFlow: Managed Data-Sharing for Cloud Services. In TCC.
(2015). Data Flow Management and Compliance in Cloud Computing. In Cloud Computing Magazine.
(2015). Managing Big Data with Information Flow Control. In CLOUD.
(2015). Integrating Messaging Middleware and Information Flow Control. In IC2E.

2014

(2014). FlowK: Information Flow Control for the Cloud. In CloudCom.
(2014). Regional clouds: technical considerations. In UCAM-CL-TR-863.
PDF
(2014). FlowR: Aspect Oriented Programming for Information Flow Control in Ruby. In Modularity.
(2014). Information Flow Control for Secure Cloud Computing. In TNSM.

Service

Conference organization

VenueRoleYear
ACM REPGeneral Chair2025
USENIX TaPPProgram co-Chair2021
IEEE IC2ETutorial Chair2021
USENIX TaPPProgram Chair2020
IEEE IC2EPublicity Chair2017

Program committees

VenueYears
ACM EuroSys2027, 2026, 2025, 2023, 2020
IEEE S&P2026
ACM ASPLOS2026, 2025, 2021 (ERC)
USENIX Security2026, 2025, 2024
ACM CCS2026, 2023, 2022, 2020 (ERC)
ACM REP2024, 2023
USENIX TaPP2024, 2019, 2017
ACM SOSP2023
ACM SoCC2023
IEEE EuroS&P2023
ACM/IFIP Middleware2023
IEEE IC2E2022, 2021
ACM M4IoT2021, 2020, 2019, 2018, 2017, 2016
IEEE CLAW2018, 2017, 2016