Semi-Fragile Neural Network Watermarking Based on Adversarial Examples | Synapse