|
|
|
|
|
|
by 0b0001
2410 days ago
|
|
|
The authors mention the headline attacks in a side note only. Their paper is about formal verification of the standard. That is indeed something new. Their framework finds a couple of new issues -- and also old ones, which made it to the headline. |
|
|