Login / Signup
Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions.
Romain Janvier
Yassine Lakhnech
Laurent Mazaré
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
hash functions
neural network
data analysis
data sets
image processing
data model
multi dimensional
high dimensional data