SecureSkat

SecureSkat is a peer-to-peer implementation of the German card game Skat. The program negotiates possible players and game sessions over an arbitrary IRC network (Internet Relay Chat). Further it employs LibTMCG to gain a reasonable level of fairness.
The cryptographic protocols of SecureSkat are designed with respect to the 'honest-but-curious' (aka semi-honest) adversary model. Thus we don't care about robustness or strong availability which are hard to achieve in a asynchronous environment. The success of a cheating player can be bound by the security parameter t such that the soundness error probability (w.r.t. performed card operations) is less or equal than 2^{-t}. However, we cannot prevent that malicious players share information about their private cards. But the protocols ensure that the shuffling of the deck is performed randomly (provided that at least one player is honest) and hence that the cards are distributed uniformly among the players.