EasyChair Smart Slide
Inductive Invariants for Noninterference in Multi-agent Workflows
Inductive Invariants for Noninterference in Multi-agent Workflows