Tools for Salted2020 Ransomware decryption