Mental Poker

A Paragon implementation of the Jif case study, described in this paper by Askarov and Sabelfeld. Use make (linux) or make.bat (windows) to compile. The resulting .class files should then be called via binder.py.

Download

• Version 1 (Paragon 0.1). This is a direct adaption of the original case study.
• Version 2 (Paragon 0.1). Takes advantage of the dynamic nature of Paragon policies to provide more security guarantees.