#

reference-monitors

Here are 2 public repositories matching this topic...

huiminZheng-collab / effectsvc-f

Anonymous prepublication paper and reproducible artifact for EffectSvc-F.

formal-verification ai-agents llm-agent-security reference-monitors durable-authority rollback-resistance fork-resistance

Updated Sep 5, 2026
Python

huiminZheng-collab / effectir

Anonymous prepublication paper and reproducible artifact for EffectIR.

authorization formal-verification ai-agents translation-validation crash-recovery effect-systems reference-monitors

Updated Sep 5, 2026
Lean

Add this topic to your repo

To associate your repository with the reference-monitors topic, visit your repo's landing page and select "manage topics."