Paragon : Programming with Information Flow Control (Demo) - Broberg, Niklas; van Delft, Bart; Sands, David (Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014)