Formal Verification, Microkernel, Capability Security, Isabelle/HOL
Bridging AI and Software Security: A Comparative Vulnerability Assessment of LLM Agent Deployment Paradigms
arxiv.org·1d
Loading...Loading more...
Formal Verification, Microkernel, Capability Security, Isabelle/HOL