Koblitz, Menezes, 2005. Another Look at "Provable Security" 20.. https://doi.org/10.1007/s00145-005-0432-z