Paragon: Programming with information flow control (demo)
Paper in proceeding, 2014
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.
static enforcement
information flow
Author
Niklas Broberg
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Bart van Delft
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
David Sands
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
9th Workshop on Programming Languages and Analysis for Security, PLAS 2014; Uppsala; Sweden; 28 July 2014 through 1 August 2014
79-80
978-145032862-3 (ISBN)
Subject Categories
Software Engineering
DOI
10.1145/2637113.2637122
ISBN
978-145032862-3