Yining She
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Crypto×2Software Eng.×2AI×1
Frequent co-authors
Research Timeline
2026
Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility
The paper proposes and evaluates symbolic guardrails as a practical method to provide strong, verifiable safety and security guarantees for domain-specific AI agents without compromising their utility.
FASR: Automated Identification of Unsafe Control Actions in STPA
This paper introduces FASR, a tool that automates the identification of unsafe control actions (UCAs) in System-Theoretic Process Analysis (STPA) using model-based engineering and robustness analysis.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.SERecentMay 29, 2026
FASR: Automated Identification of Unsafe Control Actions in STPA
Ian Dardik, Yining She, Sam Procter, Keaton Hanna +2 more
This paper introduces FASR, a tool that automates the identification of unsafe control actions (UCAs) in System-Theoretic Process Analysis (STPA) using model-based engineering and robustness analysis.
View →
cs.SEcs.AIcs.CRRecentApr 16, 2026