verifiable-decryption-in-the-head Proof of concept implementation using the NTL library by Victor Shoup. Type "make" in a terminal to compile and run the code.