Paragon: Programming with Information Flow Control (Demo)

We demonstrate Paragon, a Java-based programming language with integrated information-flow control. We show how the use of information-flow policies combined with encapsulation allows for simple yet powerful and flexible policy libraries tailored to the needs of a particular application or system.

[1]  Jonathan Aldrich,et al.  Typestate-oriented programming , 2009, OOPSLA Companion.

[2]  David Sands,et al.  Paralocks: role-based information flow control and beyond , 2010, POPL '10.

[3]  Andrew C. Myers,et al.  Robust declassification , 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..

[4]  David Sands,et al.  Paragon for Practical Programming with Information-Flow Control , 2013, APLAS.