I wondering if the private key of the address can really be derived or the intruder must have got in another way.
I believe only Android systems were affected due to RNG flaw, and you had reuse the same address. Today many peoples/services reuse the same address and I didnt heard of any losses because of this, so I consider it safe