1 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
Santiago Arranz-Olmos, Gilles Barthe, Lionel Blatter +2
Constant-time (CT) verification tools are commonly used for detecting potential side-channel vulnerabilities in cryptographic libraries. Recently, a new class of tools, called spec…