4 ms·Cryptographic Definitions and an Analysis of Helios, Helios-C, and JCJ12 points by lainon 8y ago