Reversing the Petya ransomware with constraint solvers

227 points by ingve

Read the article

Discussion on Hacker News