Sign in
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate.
Karthikeyan Bhargavan
Bruno Blanchet
Nadim Kobeissi
Published in:
IEEE Symposium on Security and Privacy (2017)
Keyphrases
</>
parameter estimation
real time
classification models
genetic algorithm
statistical model
efficient implementation
accurate models
databases
information retrieval
information systems
e learning
search algorithm
statistical models
random fields
autoregressive