16 citations · 46 across the 6 of their papers we have counts for
6 papers
SAVIOR: Towards Bug-Driven Hybrid Testing
Yaohui Chen, Peng Li, Jun Xu +5
Hybrid testing combines fuzz testing and concolic execution. It leverages fuzz testing to test easy-to-reach code regions and uses concolic execution to explore code blocks guarded…
PTrix: Efficient Hardware-Assisted Fuzzing for COTS Binary
Yaohui Chen, Dongliang Mu, Jun Xu +5
Despite its effectiveness in uncovering software defects, American Fuzzy Lop (AFL), one of the best grey-box fuzzers, is inefficient when fuzz-testing source-unavailable programs.…
Nonlinear Unknown Input and State Estimation Algorithm in Mobile Robots
Pinyao Guo, Hunmin Kim, Nurali Virani +3
This technical report provides the description and the derivation of a novel nonlinear unknown input and state estimation algorithm (NUISE) for mobile robots. The algorithm is desi…
Exploiting Physical Dynamics to Detect Actuator and Sensor Attacks in Mobile Robots
Pinyao Guo, Hunmin Kim, Nurali Virani +3
Mobile robots are cyber-physical systems where the cyberspace and the physical world are strongly coupled. Attacks against mobile robots can transcend cyber defenses and escalate i…
From Physical to Cyber: Escalating Protection for Personalized Auto Insurance
Le Guan, Jun Xu, Shuai Wang +5
Nowadays, auto insurance companies set personalized insurance rate based on data gathered directly from their customers' cars. In this paper, we show such a personalized insurance…
Instantly Obsoleting the Address-code Associations: A New Principle for Defending Advanced Code Reuse Attack
Ping Chen, Jun Xu, Jun Wang +1
Fine-grained Address Space Randomization has been considered as an effective protection against code reuse attacks such as ROP/JOP. However, it only employs a one-time randomizatio…