Jif: Language-based Information-flow Security in Java. - Kyle Pullicino (CoRR, 2014)