activity
20212026
most citedEvidential Cyber Threat Hunting

3 citations · 3 across the 5 of their papers we have counts for

collaborators

6 papers

cs.CR2026

AEGIS: Preventing Cross-Domain Resource Abuse in MCP

Shriti Priya, Teryl Taylor, Frederico Araujo

The Model Context Protocol (MCP) is an open source JSON-RPC protocol that standardizes how large language models (LLMs) interact with external systems through programmatic function…

cs.CR2026

eMicro: Real-Time Multi-Hop Access Control for Microservices with eBPF

Rizky Ramadhana Putra, Osama Bajaber, Saimon Amanuel Tsegai +4

Modern cloud applications often comprise thousands of microservices whose interactions form complex request paths. Traditional inter-service access control restricts individual ser…

cs.CR2026

Lessons from Penetration Tests on Large-Scale Agent Systems

Kevin Eykholt, Dhilung Kirat, Xiaokui Shu +3

As AI systems gain increasing autonomy and execution capability, the number of discovered security vulnerabilities continues to rise. However, many of these vulnerabilities are not…

cs.GT2022

Using Deception in Markov Game to Understand Adversarial Behaviors through a Capture-The-Flag Environment

Siddhant Bhambri, Purv Chauhan, Frederico Araujo +2

Identifying the actual adversarial threat against a system vulnerability has been a long-standing challenge for cybersecurity research. To determine an optimal strategy for the def…

cs.CR2021★ 3 cited

Evidential Cyber Threat Hunting

Frederico Araujo, Dhilung Kirat, Xiaokui Shu +2

A formal cyber reasoning framework for automating the threat hunting process is described. The new cyber reasoning methodology introduces an operational semantics that operates ove…

cs.CR2021

Towards an Open Format for Scalable System Telemetry

Teryl Taylor, Frederico Araujo, Xiaokui Shu

A data representation for system behavior telemetry for scalable big data security analytics is presented, affording telemetry consumers comprehensive visibility into workloads at…