Announced submissions to NIST's post-quantum crypto standardization project: code-based. CAKE: KEM by Barreto, Gueron, Güneysu, Misoczki, Persichetti, Sendrier, Tillich; RLCE: KEM by Wang. hash-based. Gravity-SPHINCS: signature by Aumasson, Endignoux; PRUNE-HORST: signature by ...

HILA5 __Version Control__ * 2017-05-17 Markku-Juhani O. Saarinen: Web page public. * 2017-07-05 Slight update on the paper (title). * 2017-07-13 Link to the self-contained "demo". * 2017-09-03 The OpenSSL patch temporarily out of sync. * 2017-09-23 Initial version of the NIST submission package ...

The Power of 10 Rules were created in 2006 by Gerard J. Holzmann of the NASA/JPL Laboratory for Reliable Software. The rules are intended to eliminate certain C coding practices which make code difficult to review or statically analyze. These rules are a complement to the MISRA C guidelines and ...

I just made a video covering common attacks on Ethereum's smart contracts. I used live0verflow's techniques to record and edit this one so it's going to feel different from the others :) It's a tl;dr of A survey of attacks on Ethereum smart contracts by Nicola Atzei and Massimo Bartoletti and Tiziana Cimoli. ps: many thanks to Matthew Di Ferrante for the help! ...

Cryptology ePrint Archive: Report 2017/985. Breaking Ed25519 in WolfSSL. Niels Samwel and Lejla Batina and Guido Bertoni and Joan Daemen and Ruggero Susella. Abstract: Ed25519 is an instance of the Elliptic Curve based signature scheme EdDSA that was recently introduced to solve an ...

Cryptology ePrint Archive: Report 2017/952. Secure Two-Party Computation with Fairness -- A Necessary Design Principle. Yehuda Lindell and Tal Rabin. Abstract: Protocols for secure two-party computation enable a pair of mutually distrustful parties to carry out a joint computation of their private inputs ...