GitHub - hasherezade/petya_key: A decoder for Petya victim keys, using ...