Keyphrases
- cryptographic protocols
- model checking
- machine learning
- formal analysis
- neural network
- formal methods
- verification method
- asynchronous circuits
- artificial intelligence
- communication protocols
- face verification
- functional verification
- fingerprint verification
- concurrency control protocols
- communication protocol
- data sets
- expert systems
- web services
- learning algorithm
- information retrieval
- data mining
- databases