๐ก๏ธ Security Type SystemsInformation Flow Control, Declassification, Label-Based Security, Static Analysis