A CompCert Compiler that Preserves Cryptographic Constant-time

POPL 2020

A CompCert Compiler that Preserves Cryptographic Constant-time

Sep 17, 2020
|
31 views
Details
Presented by Remi Hutin Presented at PriSC'20, part of POPL 2020.

Comments
loading...