Encryption is basically a tool against wiretappers and men in the middle. But what if you don't fully trust your users, and fear they'll try to add exploits to

Encryption is basically a tool against wiretappers and men in the middle. But what if you don't fully trust your users, and fear they'll try to add exploits to your software ? Another high level effort in security is meredith paterson's "language theoretic security"[1] can help you code secure protocols, to fight against this problem. There's also a tool to help implement it called hammer[2].Not sure if fully developed yet. [1]http://boingboing.net/2011/12/28/linguistics-turing-completene.html http://boingboing.net/2011/12/28/linguistics-turing-complete... [2]https://github.com/abiggerhammer/hammer https://github.com/abiggerhammer/hammer