In English

Practical implementation of information flow in Paragon

Javed Nazir
Göteborg : Chalmers tekniska högskola, 2012. 60 s.
[Examensarbete på avancerad nivå]

Paragon is a newly developed language by the security research group of Chalmers University of Technology, Sweden. The major task of my thesis work is practical implementation of a real world problem in Paragon. I have chosen mental poker game to implement in Paragon. Another part of my thesis work is to compare Paragon with Jif, with respect to how convenient implementation is in the two languages, and how well Paragon achieves the goal of improving on the limitations of Jif. After implementating the case study in Paragon, and comparing Paragon and Jif, I conclude that Paragon is able to provide more precise guarantees than Jif.

Nyckelord: Information flow, Paragon, Mental poker implementation, Jif implementation, Jif Vs Paragon



Publikationen registrerades 2013-02-15. Den ändrades senast 2013-04-04

CPL ID: 173676

Detta är en tjänst från Chalmers bibliotek