@663e5b60@7faadb2b I didn't say that they caused the dump. But that it contained keying material was, as I understand it, due to a race condition, and it's often possible to make one outcome more likely by, e.g., stressing certain other resources.
@663e5b60@7faadb2b Or, if they knew about the race condition, they may have been able to manipulate the engineer's machine to make the favorable outcome more likely.
As for finding the key—if memory serves, some time ago (>25 years, I think), Shamir had a paper on rapidly searching for keying material.
Notes by Steve Bellovin | export