A Type System for Quantified Information-Flow Security in Java-Like Languages. - Gohar Shakoori; Mehran S. Fallah; Zeinab Iranmanesh (ARES, 2016)