6 papers
Restraint-Induced Loss in Software-Intensive Enterprises: Large A Verified Technical Economic Impact Model of Operational Downtime and Delayed Commercialization, with Tail-Risk Security Sizing and Three Enterprise Case Studies
Mahdi Eslamimehr
When an enterprise must stop using a software component (for example, because of an interim court restraint in a technology patent dispute), the economic loss passes through a chai…
A Rapid Pipeline for Training and Deploying ML Models on WeBe Band
Ehsan Kourkchi, Asmita Asmita, Houman Homayoun +1
Developing optimized machine-learning algorithms for edge devices with limited computational and memory resources is challenging, time-consuming, and highly dependent on device-spe…
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…