Christian Kstner
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Crypto×2Software Eng.×1AI×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.
S3C2 Summit 2025-07: Government Secure Supply Chain Summit
The paper summarizes a Secure Software Supply Chain Summit held by the S3C2 center, detailing discussions among government agencies on critical security topics to inform future research and collaboration.
Highlighted terms show continued research focus across papers
Papers
cs.CRRecentMay 27, 2026
S3C2 Summit 2025-07: Government Secure Supply Chain Summit
Sivana Hamer, Pat Morrison, William Enck, Yasemin Acar +5 more
The paper summarizes a Secure Software Supply Chain Summit held by the S3C2 center, detailing discussions among government agencies on critical security topics to inform future research and collaborat…
View →
cs.SEcs.AIcs.CRRecentApr 16, 2026