Research

Publications, newest first. They are also listed on Google Scholar and ORCID.

  1. 2026

    Kairos: Transactional Security Enforcement at the System Boundary for LLM Agents

    arXiv

  2. A Comprehensive Evaluation of Code Language Models for Security Patch Detection

    arXivDOI

  3. Coverage-Guided Multi-Agent Harness Generation for Java Library Fuzzing

    arXivDOI