Formalizing Constructive Cryptography using CryptHOL.

Andreas Lochbihler S. Reza Sefidgar David A. Basin Ueli Maurer

Published in: CSF (2019)

Keyphrases

cellular automata
information security
case study
databases
machine learning
learning algorithm
e learning
control system