Uploads by 0x6d1e

Towards practical reactive security audit using extended static checkers

Failures of secret-key cryptography - D. J. Bernstein (March 2013) (cr.yp.to)