Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
Soundness Checking of Taint Flow Models
Samarth Kishor, Victor Nicolet, Joey Dodds
Existing state-of-the-art static taint flow analyses for imperative programming languages can scale to large applications by using precise user-provided taint flow models of librar…
cs.SE2025
Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents
Zhenning Yang, Hui Guan, Victor Nicolet +4
Cloud infrastructure is managed through a mix of interfaces -- traditionally, cloud consoles, command-line interfaces (CLI), and SDKs are the tools of choice. Recently, Infrastruct…
cs.SE2025
Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection
Margarida Ferreira, Victor Nicolet, Luan Pham +4
We propose HyGLAD, a novel algorithm that automatically builds a set of interpretable patterns that model event data. These patterns can then be used to detect event-based anomalie…