News for hackers. Stuff that matters.
Re:Finding a CPU Design Bug in the Xbox 360 by usernamefor on Monday January 08, 2018 @11:38AM (#16097871)
> but I'm not aware of a general way of proving no information leakage.

Cadence has a tool [1] to do this, but I'm not sure it would work for timing leaks.

[1] https://www.cadence.com/content/cadence-www/global/en_US/hom...

Re:Finding a CPU Design Bug in the Xbox 360 by ldiracdelta on Tuesday January 09, 2018 @02:56PM (#16109345)
I've used this product and you can't jam the entire chip into it. You can only jam pieces of it before the search space is so big it runs forever. It is useful for smaller pieces, but it will eventually go critical and melt down your server farm if you keep growing the problem size. That was my experience a few years back.