4 papers
Directed Neuro-Symbolic Stochastic Execution for Verification of Distributed Parallel AI Programs
Gautham Koorma, Vikas Sharma, George Edwards +1
Distributed parallel Artificial Intelligence (AI) programs expose reliability gaps that conventional testing cannot close: parallel executions are non-deterministic, and AI workloa…
SAGE: Safety-First Defense-in-Depth Guardrails for Verified Lifecycle Control of High-Impact Generative AI
Mahdi Eslamimehr
High-impact generative AI makes catastrophic misuse a lifecycle-control problem, not merely a prompt-filtering problem. SAGE is a safety-first, authorization-separated architecture…
Synergistic Directed Execution and LLM-Driven Analysis for Zero-Day AI-Generated Malware Detection
George Edwards, Mahdi Eslamimehr
The weaponization of LLMs for automated malware generation poses an existential threat to conventional detection paradigms. AI-generated malware exhibits polymorphic, metamorphic,…
Hybrid Concolic Testing with Large Language Models for Guided Path Exploration
Mahdi Eslamimehr
Concolic testing, a powerful hybrid software testing technique, has historically been plagued by fundamental limitations such as path explosion and the high cost of constraint solv…