Paper treats LLM agents as ring-0 systems missing OS protections
Of 116 OS mechanisms, 65 are missing and only 11 isomorphic; three coding CLIs load forged resume records and let the shell bypass checks.
Stories per day · 30 days
Relatedaccess-control1agent-security1coding-agents1compartment-isolation1formal-verification1llm-agents1memory-safety1operating-systems1privilege-separation1secure-compilation1survey1virtualization1
3 stories, newest first · one card per story
Stories tagged #reference-monitor
Blame-aware recomposition extends secure compilation proofs to low-level isolation
The technique allows compartments to observe each other's code and is applied to a tag-based reference monitor.
A Survey of Security Research for Operating Systems
Survey reviews OS virtualization, verification, and access control against reference-monitor requirements.