GitHub repository: zcai1/security-demo
Description: Demo type system with a simple security lattice.