Verifying Constant-Time Implementations

No ratings

Presented at USENIX 2016 by

Manuel Barbosa

Gilles Barthe

François Dupressoir

José Almeida

Michael Emmi

N/A