Symbolic Methods in Computational Cryptography Proofs.
Gilles BartheBenjamin GrégoireCharlie JacommeSteve KremerPierre-Yves StrubPublished in: CSF (2019)
Keyphrases
- databases
- computational cost
- neural network
- qualitative and quantitative
- statistical methods
- cellular automata
- benchmark datasets
- significant improvement
- preprocessing
- evolutionary algorithm
- feature extraction
- machine learning methods
- feature selection
- artificial intelligence
- optimization methods
- theorem proving
- complexity analysis