SAFE implementation Code Structure Policy implementations Multiple policy implementations in Slang exist under safe-apps folder, for example Strong DIFC (Distributed Information Flow Control) GENI and many others.