How did the Koblitz/Menezes papers affect the cryptography community? 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?
My impression (which is limited) is that the most researchers are pretty content with the state of security proofs, and it did not have much impact on changing the research agenda of the community. In fact, a related paper was strongly opposed by leading cryptographers. That is not to say the papers were ignored. They generated lots of discussion and maybe some self-reflection. 

They are also, unfortunately, sometimes cited by people who do not really understand the issues and just have an axe to grind against papers being too technical.