A TTACKING B INARIZED N EURAL N ETWORKS
Anonymous authors
Paper under double-blind review
A BSTRACT
Neural networks with low-precision weights and activations offer compelling efﬁciency advantages over their full-precision equivalents.
The two most frequently discussed beneﬁts of quantization are reduced memory consumption, and a faster forward pass when implemented with efﬁcient bitwise operations.
We propose a third beneﬁt of very low-precision neural networks: improved robustness against some adversarial attacks, and in the worst case, performance that is on par with full-precision models.
We focus on the very low-precision case where weights and activations are both quantized to ± 1, and note that stochastically quantizing weights in just one layer can sharply reduce the impact of iterative attacks.
We observe that non-scaled binary neural networks exhibit a similar effect to the original defensive distillation procedure that led to gradient masking , and a false notion of security.
We address this by conducting both black-box and white-box experiments with binary models that do not artiﬁcially mask gradients.
I NTRODUCTION
The ability to fool machine learning models by making small changes to their input severely limits their potential for safe use in many real-world scenarios.
Example vulnerabilities include a seemingly innocuous audio broadcast that is interpreted by a speech recognition model in a smartphone, with the intent to trigger an e-transfer, as well as pictures or identity documents that are automatically tagged as someone other than the real individual.
The two most common threat models when evaluating the security of a system are the black-box and white-box assumptions, which represent varying degrees of information that an adversary may possess.
In a black-box threat model, an adversary has similar abilities to a normal user that interacts with a system by providing inputs and observing the corresponding outputs.
Under this threat model, an adversary generally does not know details of the model architecture or dataset used to train the model.
Of course, an adversary is free to assume that a convolutional architecture was likely used if the input domain is images, or a recurrent model for speech or text.
In a white-box threat model, an adversary has complete access to the model architecture and parameters.
In the case of neural networks, white-box attacks frequently rely on gradient information to craft especially strong adversarial examples , where strong means that the example is very close to the original input as deﬁned by some distance norm (e.g. L 0 –number of features modiﬁed, L 2 –mean squared distance), yet is very likely to cause the model to yield the incorrect output.
For both threat types, targeted attacks where a model is made to fail in a speciﬁc way (e.g. causing a handwritten ‘7’ look like a ‘3’) represents a stronger attack than simple misclassiﬁcation.
The problem with deploying machine learning systems that are secured in a traditional sense, is that adversarial examples have been shown to generalize well between models with different source and target architectures (Szegedy et al., 2013; Papernot et al., 2017b; Tramr et al., 2017).
This means that a secured model can be compromised in an approximately white-box setting by training and attacking a substitute model that approximates the decision boundary of the model under attack (Papernot et al., 2017b).
Thus, to make strong conclusions about the robustness of a machine learning model to adversarial attacks, both threat models should be considered.
Tangent to research on defences against adversarial attacks, signiﬁcant progress has been made towards training very low-precision deep neural networks to accuracy levels that are competitive with full-precision models (Courbariaux & Bengio, 2016;
Zhou et al., 2016; Tang et al., 2017).
The current motivation for extreme quantization is the ability to deploy these models under hardware resource constraints, acceleration, or reduced power consumption.
Ideally, 32 × compression is possible by using 1-bit to represent single-precision ﬂoating point parameters.
By similarly quantizing activations, we can reduce run-time memory consumption as well.
These savings enable large scale deployment of neural networks on the billions of existing embedded devices.
Very low-precision models were designed with deployment in mind, and may be responsible for making critical decisions in embedded systems, all subject to reverse engineering and a diverse set of real world attacks.
With much at stake in applications like autonomous navigation, robotics, and network infrastructure, understanding how very low-precision neural networks behave in adversarial settings is essential.
To that end, we make the following contributions:
• To the best of our knowledge, we are the ﬁrst to formally evaluate and interpret the robustness of binary neural networks (BNNs) to adversarial attacks on the MNIST (LeCun & Cortes, 1998) and CIFAR-10 (Krizhevsky, 2009) datasets.
• We compare and contrast the properties of low-precision neural networks that confer adversarial robustness to previously proposed defense strategies.
We then combine these properties to propose an optimal defense strategy.
• We attempt to generalize and make recommendations regarding the suitability of lowprecision neural networks against various classes of attacks (e.g. single step vs. iterative).
B ACKGROUND
Since the initial disclosure of adversarial examples by Szegedy et al.
and
Biggio et al.
(2013), many defense strategies have been proposed and subsequently defeated.
It is generally accepted that strategies for mitigating the impact of these examples still lag behind state of the art attacks, which are capable of producing adversarial examples that are indistinguishable from unmodiﬁed inputs as perceived by humans.
In general, there are two approaches to defending against adversarial examples: reactive –detecting the presence of adversarial examples, such as through some notion of conﬁdence-based outlier detection.
On the other hand, a proactive approach aims to improve the robustness of the underlying model, which may involve adding an extra class to which malicious inputs should be assigned (Papernot & McDaniel, 2017).
The latter approach is important for building reliable systems where a sensible decision must be made at all times.
In this work, we focus solely on the proactive approach.
To deﬁne adversarial examples, we require some measurement of distance that can be computed between perturbed inputs and naturally occurring inputs.
In the visual domain, it is convenient if the metric approximates human perceptual similarity, but is not required.
Various L p norms have been used in the literature: L 0 –number of features modiﬁed, L 2 –mean squared distance, L ∞ –limited only in the maximum perturbation applied to any feature.
We evaluate at least one attack that is cast in terms of each respective distance metric, and leave discussion of the optimal distance metric to future work.
The most compelling explanation for the existence of adversarial examples proposed to date is the linearity hypothesis (Goodfellow et al., 2015).
The elementary operators, matrix dot-products and convolutions used at each layer of a neural network are fundamentally too linear.
Furthermore, the non-linearity applied at each layer is usually itself either piecewise linear (e.g. ReLU), or we have speciﬁcally encouraged the network through initialization or regularization to have small weights and activations such that its units (e.g. sigmoid, tanh) operate in their linear regions.
By adding noise to inputs which is highly correlated with the sign of the model parameters, a large swing in activation can be induced.
Additionally, the magnitude by which this noise must be scaled to have this effect diminishes as the input dimensionality grows.
This piecewise linearity also makes neural networks easy to attack using the gradient of the output with respect to the input, and in addition, the resulting incorrect predictions are made with high-conﬁdence.
Fortunately, we are reminded that the universal approximation theorem suggests that given sufﬁcient capacity, a neural network should at least be able to represent the type of function that resists adversarial examples (Goodfellow et al., 2015).
The most successful defense mechanism to date, adversarial training, is based on this premise, and attempts to learn such a function.
The fast gradient sign method (FGSM) is a simple procedure for crafting this damaging noise, and is still used today despite not being
-of- white-
, as it produces examples that transfer well between models (Goodfellow et al., 2015).
The linearity hypothesis was one of the main reasons for initially considering binarized neural networks as a natural defense against adversarial examples.
Not only are they highly regularized by default through severely quantized weights, but they appear to be more non-linear and discontinuous than conventional deep neural networks (DNNs).
Additionally, we suspect that the same characteristics making them challenging to train, make them difﬁcult to attack with an iterative procedure.
At the same time, assumptions regarding the information required by an effective adversary have become more and more relaxed, to the extent that black-box attacks can be especially damaging with just a small set of labeled input-output pairs (Papernot et al., 2017b).
Perhaps the most striking feature of adversarial examples is how well they generalize between models with different architectures while trained on different datasets (Goodfellow et al., 2015; Papernot et al., 2017b; Kurakin et al., 2017a).
It was shown by Kurakin et al.
(2017b) that 2/3 of adversarial
ImageNet examples survive various perspective transformations after being printed on paper and subsequently photographed and classiﬁed by a mobile phone.
The most successful black-box attacks have the secured model (Oracle) assign labels to a set of real or synthetic inputs, which can be used to train a substitute model that mimics the Oracle’s decision boundary (Papernot et al., 2017b).
A single step attack, such as FGSM, can be used on the smooth substitute model to generate examples that transfer, without having access to the original training data, architecture, or training procedure used by the Oracle.
Papernot et al.
(2017b) showed they are able to compromise machine learning models 80% of the time on small datasets like MNIST using various shallow MLP-based substitute models.
There is not a particularly high correlation between test accuracy and transferability of adversarial examples; therefore despite not attaining great results on the original MNIST task, a simple substitute learns enough to compromise the Oracle.
This technique was shown to overcome gradient masking approaches, such as in the case with models that either obscure or have no gradient information, such as k-nearest neighbors or decision trees.
With strong adversarial training of the model to be defended, attacks generated using the substitute model do not transfer as well.
Therefore, to be compelling, BNNs should be able to handle training with large (cid:15) while maintaining competitive test accuracy on clean inputs relative to full-precision.
The strongest white-box attacks all use an iterative procedure; however, the resulting examples do not transfer as well as single step methods (Goodfellow et al., 2015).
An iterative attack using the Adam optimizer was proposed by Carlini & Wagner (2017) that outperforms other expensive optimization based approaches Szegedy et al.
(2013), the Jacobian-based saliency map attack (JSMA) (Papernot et al., 2015), and Deepfool (Moosavi-Dezfooli et al., 2015) in terms of three L p norms previously used as an adversarial example distance metrics in the literature.
We have made our best attempt to use state-of-the-art attacks in our experiments.
E XPERIMENTS
In Figure 1, we illustrate the quantization scheme used in our convolutional neural networks, adapted from those provided in the CleverHans library tutorials (Papernot et al., 2017a).
In the ﬁrst layer, we retain weights and activations in single-precision ﬂoating point.
Weights in hidden layers are binarized either deterministically or stochastically, as in Courbariaux & Bengio (2016), and activations were always binarized deterministically.
Unlike Courbariaux & Bengio (2016), we stochastically quantize weights at test time as a possible defense against iterative attacks.
Under the stochastic binarization scheme, weights are sampled once per forward pass from a Bernoulli distribution with probability given by passing the real valued weight through the hard sigmoid function from Courbariaux & Bengio (2016).
Lastly, we map the Bernoulli samples ∈ [0 , 1] to ± 1 by multiplying by 2 and subtracting 1 1 .
We do not ﬁnd that this signiﬁcantly slows down training with TensorFlow (Abadi et al., 2015) on a modern GPU, but these networks take between 3–4 × as many epochs as a deterministically quantized binary network to converge.
We use the straight through estimator (STE) to back-propagate gradients through the quantization step (Bengio et al., 2013).
We optionally insert a small learned scaling factor after the ReLU in hidden layers, as per guidance from Tang et al.
(2017), in which they observed similar performance to the more expensive XNOR-Net channel-wise normalization scheme (Rastegari et al., 2016).
Convolution kernels were initialized from a truncated normal distribution with σ =0.2 for accumulating full-precision weight updates, and were quantized to ± 1 in the forward pass.
Batch normalization was applied before quantizing activations to ensure they were centered around zero (Ioffe &
Szegedy, 2015).
We report test error rates for these models on MNIST (LeCun & Cortes, 1998) with varying capacity in Table 6 of Appendix A. Capacity is denoted by the number of kernels in the ﬁrst layer, K Layer 1 .
All subsequent layers had exactly double this number of kernels.
Models were trained for 15 epochs unless indicated otherwise.
In general, models with full-precision weights and activations under-ﬁt the naturally occurring data less than a binary equivalent, with error rates of approximately 1% and 2%, respectively.
With the addition of the small learned scaling factor, the binary models converge to approximately the same error rate as the full-precision model on MNIST and CIFAR-10.
We experiment with three different types of adversarial training, depending on the combination of dataset and attack: FGSM with ﬁxed (cid:15) , FGSM with (cid:15) sampled from a truncated normal distribution as in Kurakin et al.
(2017a), and projected gradient descent (PGD) (Madry et al., 2017), which is the state-of-the-art adversarial training procedure for MNIST.
We do not necessarily pair all training methods against all attacks.
The model’s own best prediction is used as the true label to minimize in adversarial training, unless otherwise noted to prevent the label leaking effect (Kurakin et al., 2017a).
We ﬁrst attempt to fool our binarized networks with single step attacks in a white-box setting, and progressively scale up to stronger state-of-the-art attacks.
3. W HITE -B OX A TTACKS
All experiments were conducted in TensorFlow, and used either v2.0.0 of Cleverhans (Papernot et al., 2017a), or Foolbox, a Python toolbox for creating adversarial examples (Rauber et al., 2017).
All attacks were clipped to the anticipated input range during adversarial training and evaluation.
3.1. F AST G RADIENT S IGN M ETHOD
The FGSM is a simple but effective single step attack ﬁrst introduced in Goodfellow et al.
(2015), and deﬁned in eq (1).
The attack linearly approximates the gradient of the loss used to train the model with respect to the input.
The gradient is thresholded by taking its sign, scaled by a uniform constant (cid:15) , and added to, or subtracted from, the input, depending on if we wish to minimize the current class, or move in the direction of a target class:
[Equation]
To confer robustness to more than one value of (cid:15) with which an adversary may use to attack, the adversarial training procedure from Kurakin et al. (2017a) proposes to sample a unique (cid:15) for each training example from a truncated normal distribution.
We set the standard deviation to σ = ceil ( (cid:15) max ∗ 255 / 2) .
We consider up to (cid:15) max = 0 . 3 , as this is a common upper limit for a L ∞ norm perturbation that is not easily perceived by humans, and corresponds to a 30% change in pixel intensity for an arbitrary number of pixels.
In Table 1, it can be observed that a plain binary network without adversarial training (B) achieves the best robustness to FGSM, with nearly 90% accuracy for (cid:15)
= 0 .
1 for the highest capacity model.
TensorFlow accomplished
Bernoulli
(probs=tf.
clip by value
((x + 1.)/ 2., 0., 1.))).sample() -
[Table]
We postpone a formal explanation of this outlier for the discussion.
Our results for large (cid:15) agree with observations made by Madry et al.
(2017) where they found FGSM to be suboptimal for training as it yields a limited set of adversarial examples.
We suspect that the reason neither scaled nor unscaled binary models performed well when trained with an adversary and tested on larger values of (cid:15) is because by the time adversarial training was introduced at epoch 10, both had entered into a state of decreased learning.
Our binary weight implementation makes updates to real valued weights during training, which are binarized in the forward pass.
The real valued weights tend to polarize as the model converges, resulting in fewer sign changes.
Regularization schemes actually encouraging the underlying real valued weights to polarize around ± 1 have been proposed (Tang et al., 2017), but we do not ﬁnd this to be particularly helpful after sweeping a range of settings for the regularization constant λ .
Regardless, in this case, the binary models did beneﬁt from adversarial training to the extent that the full-precision models did.
We ﬁnd that adversarial training with binary models is somewhat of a balancing act.
If a strong adversary is introduced to the model too early, it may fail to converge for natural inputs.
If introduced too late, it may be difﬁcult to bring the model back into its malleable state, where it is willing to ﬂip the sign of its weights.
Despite this challenge, the scaled binary model reaped signiﬁcant beneﬁts from adversarial training and its accuracy was on par with the full-precision model for (cid:15) = 0 .
To investigate the low performance observed against large (cid:15) in Table 1, models A and C were trained from scratch with 40 iterations of PGD (Madry et al., 2017).
Table 2 shows the result of this new training and subsequent FGSM attack performed identically to that of Table 1.
A similar trend was found in Tables 1 and 2, where the lowest capacity models struggle to become robust against large (cid:15) .
Once the scaled binary model had sufﬁcient capacity, it actually slightly outperforms its fullprecision equivalent for all values of (cid:15) .
With this, we have demonstrated that not only can BNNs achieve competitive accuracy on clean inputs with signiﬁcantly fewer resources, but they can also allocate excess capacity in response to state-of-the-art adversaries.
3.1. C ARLINI -W AGNER A TTACK C ARLINI & W AGNER (2017)
We use the Carlini-Wagner L2 (CWL2) implementation from v2.0.0 of CleverHans (Papernot et al., 2017a) and show results in Table 3 and Figure 2.
Only binary models are shown in Table 3 because
[Table]
all but two full-precision models had zero accuracy on the adversarial test set for the same strength attack run for 100 iterations.
The best full-precision model was A256+ with 1.8 ± 0.9% accuracy.
We note that the stochastically quantized binary models with scaling to prevent gradient masking (‘S’ preﬁx) underﬁt somewhat on the training set, and had test error rates of 8 ± 1%, 5 ± 2%, and 3 ± 1% for each of S64, S128, and S256 averaged over four runs.
For S256, this test error is comparable with an unscaled binary model which only achieves 22 ± 3% accuracy with gradient masking compared to 46 ± 3% without .
[Table]
In Figure
[Table]
it can be observed that binary and full-precision models perform somewhat similarly for the ﬁrst few iterations of the CWL2 attack
[Table]
but beyond 10–20 iterations, the accuracy of fullprecision models drops off quickly, regardless of having performed adversarial training.
We note that PGD, deﬁned with respect to the L ∞ norm, makes no claim of increasing robustness to Lattacks, such as CWL2.
Interestingly, it can be seen that the binary model beneﬁted from adversarial training considerably when evaluated at 10 to 100 attack iterations, while the full-precision model did not.
These beneﬁts eventually disappear to within the margin of random error after continuing to 1000 iterations, as recommended by Carlini & Wagner (2017).
At this point, both B and B+ had accuracy of 19 ± 3%, by which time the full-precision models had long ﬂatlined at zero.
Meanwhile,
S64 maintained 38 ± 3 % accuracy after 1000 iterations, nearly double that of the deterministically quantized models.
Running these attacks to 1000 iterations was two orders of magnitude more time consuming than training these models from scratch (without PGD training); therefore we believe this targeted attack represents a fairly substantial level of effort on behalf of the adversary.
3. B LACK -B OX A TTACKS
We run the substitute model training procedure from Papernot et al.
(2017b)
using CleverHans v2.0.0, for both MNIST and CIFAR-10 datasets with and without FGSM adversarial training.
As a substitute model, we use a two-layer MLP with 200 hidden units and ReLU activations.
The substitute is trained on 150 images withheld from the test set, and augmented by perturbing the images in the direction of maximal variability of the substitute model, as deﬁned by the Jacobian.
Six epochs of data augmentation with λ = 0 .
1 were used in combination with 10 substitute model training epochs after each augmentation step.
The oracle was again trained for 15 epochs for MNIST, and 20 epochs for CIFAR-10.
Model ‘S+*’ was trained
Filters
[Table]
+
[Table]
+
[Table] [Table]
[Table] [Table]
[Table]
+
[Table]
S+*
[Table] [Table]
[Table]
Results for the black-box experiment on the MNIST dataset are shown in Table 4.
Full-precision networks had a moderate advantage over binary model classes B and C. Only the highest capacity full-precision model beneﬁted at all from FGSM adversarial training, while the scaled binary model beneﬁtted regardless of capacity.
Our best defense consisted of PGD on the high capacity stochastically quantized model which was within the margin of error of the best full-precision model.
Suprisingly, the stochastic model had the least uncertainty of all conﬁgurations tested when averaged over four runs where both the oracle and substitute model were independently trained from scratch.
Lastly, we acknowledge that the full-precision model would have also likely performed better with PGD training, but we did not run this test.
D ISCUSSION
We suspect that plain BNNs implement two different kinds of gradient masking.
We discovered the ﬁrst by tracking the L1 norm of the hidden layer activations and unscaled logits.
BNNs operate with a much larger dynamic range and variance than ‘normal’ networks, which can be explained by virtue of convolving inputs with greater magnitude ( ± 1 ) compared with the typically small values held by weights and expressed by activations.
For our 64 kernel CNN, the logits were about 4 × larger than the scaled or full- precision networks.
This is analogous to the more complex defensive distillation procedure in which the model to be secured is trained with soft-labels generated by an identical teacher model.
When training the teacher, a softmax temperature, T , (generally (cid:29) 1) is
[Table]
used.
The distilled model is trained on the labels assigned by the teacher and using the same T .
At test time, the model is deployed with T = 1 , which causes the logits to explode with respect to their training phase learned values.
The logits saturate the softmax function and cause gradients to vanish, leading FGSM and JSMA to fail spectacularly.
However, an adversary only needs to guess a close enough T to compromise the defense, and this does not say anything about security in the black-box setting (Carlini & Wagner, 2017).
The second type of gradient masking is less easily overcome, and has to do with gradients being inherently discontinuous and non-smooth, as seen in Figure 3.
We believe that this effect is what gives scaled BNNs an advantage over full-precision with respect to targeted attacks.
Perhaps more importantly, the decision boundary for the MLP with binary units 3 better represents the actual function to be learned, and is actually less susceptible to adversarial examples as it is more nonlinear around the data manifold.
But why does gradient masking have a disproportionate effect on the adversarial example generation process compared with clean test accuracy?
Models ‘A’ and ‘B’ were trained to within 1.2% test accuracy, while ‘B’ had improvements of 9.0% and 29.5% on JSMA and Carlini-Wagner attacks respectively, corresponding to 8 × and 25 × difference in accuracy, respectively, for adversarial vs. clean inputs.
For JSMA, the difference in performance between adversarial and clean inputs can be attributed to lack of averaging noisy gradients as this attack was done one image at a time in
CleverHans.
The success of model ‘S’ with stochastically quantized weights in its third convolutional layer against iterative attacks is more easily explained.
Adversarial examples are not random noise, and do not occur in random directions.
In fact, neural networks are extremely robust to large amounts of benign noise.
An iterative attack that wishes to fool our stochastically quantized model faces a unique model at every step, with unique gradients.
Thus, the direction that minimizes the probability of the true class in the ﬁrst iteration is unlikely to be the same in the second.
An iterative attack making n steps is essentially attacking an ensemble of n models.
By making a series of small random steps, the adversary is sent on the equivalent of a wild goose chase and has a difﬁcult time making progress in any particularly relevant direction to cause an adversarial example.
C ONCLUSION
We have shown that for binarized neural networks, difﬁculty in training leads to difﬁculty when attacking.
Although we did not observe a substantial improvement in robustness to single step attacks through binarization, by introducing stochasticity we have reduced the impact of the strongest attacks.
Stochastic quantization is clearly far more computationally and memory efﬁcient than a traditional ensemble of neural networks, and could be run entirely on a micro-controller with a pseudo random number generator.
Our adversarial accuracy on MNIST against the best white-box attack (CWL2) is 71 ± 2% (S64+) compared with the best full-precision model 1.8 ± 0.9% (A256+).
Black-box results were competitive between binary and full-precision on MNIST, and binary models were slightly more robust for CIFAR-10.
Beyond their favourable speed and resource usage, we have demonstrated another beneﬁt of deploying binary neural networks in industrial settings.
Future work will consider other types of low-precision models as well as other adversarial attack methods.
A C LEAN T EST E RROR R ATES
[Table]
B MLP T OY AND P ROBLEM
[Table]
[Figure]
We reproduce the toy problem in Papernot et al.
(2015) of learning the two-input logical AND function with a simple MLP having two neurons in each layer.
The only difference between our experiment and the original is that we train a 3-hidden-layer MLP (as opposed to 2-layers) with the
Adam optimizer for 1k epochs, with a learning rate of 0.1.
We use 3 layers since this is the smallest number of layers where the middle one can be quantized without directly touching the input or output, which would adversely impact learning.
Here, a “quantized” layer means that its weights and activations are thresholded to +1 and -1, and a straight through estimator (Bengio et al., 2013) is used to backpropagate gradients for learning.
All conﬁgurations in the AND experiment learn a reasonable decision boundary; however, the MLPs with a single quantized hidden layer had highly non-linear forward gradients, as can be seen in
Figure 3(d).
As training progresses, the forward derivative was highly dynamic and took on a variety of different shapes with sharp edges and peaks.
When the MLP was allowed more capacity by doubling the number of hidden units (see Figure 4), the forward derivative was almost entirely destroyed.
If one was to use this information to construct a saliency map, only two regions would be proposed (with poor directional information), and once exhausted there would be no further choices more insightful than random guessing. [Figure] [Figure] [Figure]
[Figure] [Figure] [Figure] [Figure]
[Figure] [Figure] [Figure] [Figure]
[Figure]
[Figure]
[Figure]
[Figure] [Figure]
[Figure]
C V ISUALIZING L OGITS WITH S CALING F ACTORS
[Figure]
softmax temperature, T , was 0.6, 0.7, 0.
In Figure 5 we compare the logits of full-precision and binary networks under varying degrees of
FGSM perturbation.
We noticed that for softmax temperature T between 0.6–0.7 the direction in which increasing the perturbation causes an adversarial example ﬂips.
We observe no similar effect for full-precision models.
Additionally the full-precision logits respond to scaling in an approximately linear manner, whereas there is very little change in logits for the binary case apart from the 180 degree ﬂip.
We used values of (cid:15) in the range of actual attacks conducted in the paper, however the piecewise linear effect from (Goodfellow et al., 2015) is still there for (cid:15) with large absolute value.