Skip to content

Author

Mahdi Eslamimehr

We have 2 of 11 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Conference Jul 2026

State-Aware Hybrid Concrete-Symbolic Analysis for Automated Vulnerability Discovery in Iot Communication Protocols

Internet of Things (IoT) devices heavily rely on lightweight communication protocols such as MQTT, CoAP, and 6LoWPAN. To minimize memory footprint and computational overhead, these protocols are often implemented using custom C/C++ code, making them highly susceptible to memory corruption vulnerabilities including buff...

Gautham Koorma, Isaac Pflaum, Radostin Pachamanov et al. · 0 citations
Jul 2026

SAGE: Safety-First Defense-in-Depth Guardrails for Verified Lifecycle Control of High-Impact Generative AI

SAGE is a safety-first, authorization-separated architecture in which credible catastrophic-enablement risk constrains admissibility before utility, latency, or commercial objectives are considered, and formal results establish safety priority, conservative detector bounds, monotone release gating, tamper-evident recor...

Mahdi Eslamimehr · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.