Two highly-critical papers by Koblitz and Menezes (two well-regarded mathematicians who've contributed to the crypto community) were published years ago: Another Look at “Provable Security” in 2004, Another 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?