A Cryptographic Escrow for Treaty Declarations and Step-by-Step Verification. - Sébastien Philippe; Alexander Glaser; Edward W. Felten (CoRR, 2018)