Simplifying OTR's cryptographic deniability property · HackerTrans