2 citations · 9 across the 7 of their papers we have counts for
7 papers
Adversarial Examples Detection with Enhanced Image Difference Features based on Local Histogram Equalization
Zhaoxia Yin, Shaowei Zhu, Hang Su +3
Deep Neural Networks (DNNs) have recently made significant progress in many fields. However, studies have shown that DNNs are vulnerable to adversarial examples, where imperceptibl…
Adversarial Example Defense via Perturbation Grading Strategy
Shaowei Zhu, Wanli Lyu, Bin Li +2
Deep Neural Networks have been widely used in many fields. However, studies have shown that DNNs are easily attacked by adversarial examples, which have tiny perturbations and grea…
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic
Zachary Kincaid, Nicolas Koh, Shaowei Zhu
This paper presents a theory of non-linear integer/real arithmetic and algorithms for reasoning about this theory. The theory can be conceived as an extension of linear integer/rea…
Verifiable Access Control for Augmented Reality Localization and Mapping
Shaowei Zhu, Hyo Jin Kim, Maurizio Monge +4
Localization and mapping is a key technology for bridging the virtual and physical worlds in augmented reality (AR). Localization and mapping works by creating and querying maps ma…
Reversible Attack based on Local Visual Adversarial Perturbation
Li Chen, Shaowei Zhu, Zhaoxia Yin
Adding perturbations to images can mislead classification models to produce incorrect results. Recently, researchers exploited adversarial perturbations to protect image privacy fr…
Reflections on Termination of Linear Loops
Shaowei Zhu, Zachary Kincaid
This paper shows how techniques for linear dynamical systems can be used to reason about the behavior of general loops. We present two main results. First, we show that every loop…
Termination Analysis Without the Tears
Shaowei Zhu, Zachary Kincaid
Determining whether a given program terminates is the quintessential undecidable problem. Algorithms for termination analysis are divided into two groups: (1) algorithms with stron…