0 0xec.blogspot.com Reversing the Petya ransomware with constraint solvers 227 points ingve 10 years ago 41 comments