Hacker News new | ask | show | jobs
by scottpiper 4180 days ago
KryptosLogic has a good write-up on this showing how it can be detected with Z3: http://kryptoslogic.blogspot.com/2015/01/openssls-squaring-b...