[julian_1]

Infineon still haven't said how their hardware is vulnerable?

[duskwuff]

https://crocs.fi.muni.cz/public/papers/rsa_ccs17 covers that aspect of the issue. Discussion here: https://news.ycombinator.com/item?id=15482441