Hiding Needles in a Haystack: Towards Constructing Neural Networks that Evade Verification.
Árpád BertaGábor DannerIstván HegedüsMárk JelasityPublished in: IH&MMSec (2022)
Keyphrases
- neural network
- artificial neural networks
- pattern recognition
- model checking
- face verification
- verification method
- formal verification
- genetic algorithm
- soft tissue
- self organizing maps
- multilayer perceptron
- concurrent systems
- real time
- multi layer
- neural nets
- recurrent neural networks
- neural network model
- fault diagnosis
- back propagation
- fuzzy systems
- image segmentation
- formal analysis
- image guided
- signature verification
- case study
- decision making
- information retrieval