The Carnac protocol - or how to read the contents of a sealed envelope. - Michael Scott; Brian Spector (IACR Cryptol. ePrint Arch., 2015)