Cryptographically verified implementations for TLS.

Karthikeyan Bhargavan Cédric Fournet Ricardo Corin Eugen Zalinescu

Published in: CCS (2008)

Keyphrases

parameter estimation
efficient implementation
image processing
relational databases
special case
scheduling problem
databases
neural network
machine learning
artificial intelligence
website
database systems
reinforcement learning
multiresolution