A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems.

Véronique Cortier Steve Kremer Bogdan Warinschi

Published in: J. Autom. Reason. (2011)

Keyphrases

data sets
empirical studies
genetic algorithm
artificial intelligence
case study
preprocessing
computer systems
benchmark datasets
smart card
distributed systems
quantitative analysis
mathematical models
classification systems
complexity analysis
data driven approaches