DMCA

System-level non-interference for constant-time cryptography

by Gilles Barthe , Gustavo Betarte , Juan Diego Campo , Carlos Luna , David Pichardie
Citations:2 - 0 self