Verifying Constant-Time Implementations.

José Bacelar Almeida Manuel Barbosa Gilles Barthe François Dupressoir Michael Emmi

Published in: USENIX Security Symposium (2016)

Keyphrases

efficient implementation
database
machine learning
artificial intelligence
image processing
cooperative
social networks
information systems
knowledge base
web services
image sequences
multiscale
artificial neural networks
general purpose
model checking