55 citations · 110 across the 23 of their papers we have counts for
6 papers · 1 filter
An unscented universal filter for joint input-state-parameter estimation of a partially measured system: an application to drive-by structural health monitoring
Zihao Liu, Chul-Woo Kim, Mehrisadat Makki Alamdari
Drive-by structural health monitoring infers the condition of a bridge from the response of an instrumented vehicle, whose measurements are dominated by the road roughness and the…
Efficient and Sound Probabilistic Verification for AI Agents
Alaia Solko-Breslin, Pramod Kaushik Mudrakarta, Mihai Christodorescu +2
Securing AI agents that operate in complex digital environments has become a critical need, and runtime monitoring approaches that formulate and enforce policies expressed in a for…
Agent Security is a Systems Problem
Mihai Christodorescu, Earlence Fernandes, Ashish Hooda +11
We take the position that agent security must be approached as a systems problem: the AI model powering the agent must be treated as an untrusted component, and security invariants…
Verifiers in the Loop: Decoding Time Verification for Code Translation
Tianyang Zhou, Somesh Jha, Mihai Christodorescu +2
Test-time scaling is an important mechanism for improving large language models, especially on tasks with deterministic verifiers. Code translation is a canonical example: the sour…
Taint-Style Vulnerability Detection and Confirmation for Node.js Packages Using LLM Agent Reasoning
Ronghao Ni, Mihai Christodorescu, Limin Jia
The rapidly evolving Nodejs ecosystem currently includes millions of packages and is a critical part of modern software supply chains, making vulnerability detection of Nodej…
Uncovering Relationships between Android Developers, User Privacy, and Developer Willingness to Reduce Fingerprinting Risks
Alex Berke, Güliz Seray Tuncay, Michael Specter +1
The major mobile platforms, Android and iOS, have introduced changes that restrict user tracking to improve user privacy, yet apps continue to covertly track users via device finge…