3 ms·
> 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
by usernamefor 9y ago
> 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/home/tools/system-design-and-verification/formal-and-static-verification/jasper-gold-verification-platform/security-path-verification-app.html https://www.cadence.com/content/cadence-www/global/en_US/hom...
- ldiracdelta 9y agoI'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.