Jif Poker

• Sources
• Detailed Description
• Links

Jif Poker is a case study on implementation of a mental poker protocol in Jif security-typed language. The case study and analysis is described in the following paper:

• Security-typed languages for implementation of cryptographic protocols: A case study, Aslan Askarov and Andrei Sabelfeld. In Proceedings of the 10th European Symposium on Research in Computer Security (ESORICS), Milan, Italy, September 12-14, 2005. LNCS, Springer-Verlag, September 2005. To appear.

Sources

Detailed Description

For detailed description please refer to the following report:

• Secure Implementation of Cryptographic Protocols: A Case Study of Mutual Distrust, Aslan Askarov, Master's Thesis, Chalmers University of Technology, April 2005

Links

• Jif