Two highly-critical papers by Koblitz and Menezes (two well-regarded mathematicians who've contributed to the crypto community) were published years ago: one in 2004Another Look at “Provable Security” in 2004, another in 2006Another Look at “Provable Security”. II in 2006.
Have these papers had any noticeable impact on how research is conducted in the provable-security community? Or have these papers largely been ignored?