noninterference

• igloo
• checkmates
• coordinators
• infer
• zoos
• vat