CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks.
Zhe ZhaoYedi ZhangGuangke ChenFu SongTaolue ChenJiaxiang LiuPublished in: SAS (2022)
Keyphrases
- neural network
- cryptographic protocols
- java card
- model checking
- countermeasures
- pattern recognition
- back propagation
- multi agent
- artificial neural networks
- neural network is trained
- fault diagnosis
- multilayer perceptron
- formal methods
- malicious users
- self organizing maps
- image reconstruction from projections
- malicious attacks
- auto associative
- attack detection
- traffic analysis
- fuzzy neural network
- formal verification
- signature verification
- security mechanisms
- multi layer perceptron
- watermarking scheme
- network model
- multi layer
- recurrent neural networks
- fuzzy logic
- genetic algorithm