Concepedia

Dongpeng Xu

DX

12

Publications

417

Citations

10

H-Index

2015

Active since

Affiliations

University of New Hampshire(Current)

Pennsylvania State University

The University of Texas at Arlington

University of New Hampshire at Manchester

University of Science and Technology of China

Dongpeng Xu is an author at University of New Hampshire specializing in engineering, formal verification, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationHardware SecurityComputer EngineeringData SecurityFormal MethodsCryptography

Publications per year

2015–2021

12

Publications

12

LOOP

Jiang Ming, Dongpeng Xu, Li Wang et al. · 2015 · 73 citations

Engineering, Information Security, Verification +17

Cryptographic Function Detection in Obfuscated Binaries via Bit-Precise Symbolic Loop Mapping

Dongpeng Xu, Jiang Ming, Dinghao Wu · 2017 · 72 citations

Cryptographic Primitive, Engineering, Evasion Technique +22

BinSIM: Trace-based semantic binary diffing via system call sliced segment equivalence checking

Jiang Ming, Dongpeng Xu, Yufei Jiang et al. · USENIX Security Symposium · 2017 · 61 citations

Engineering, Runtime Verification, Program Analysis +14

Caregiver perspectives on a smart home-based socially assistive robot for individuals with Alzheimer’s disease and related dementia

Sajay Arthanat, Momotaz Begum, Tianyi Gu et al. · Disability and Rehabilitation Assistive Technology · 2020 · 61 citations

Dongpeng Xu, Jiang Ming, Yu Fu et al. · 2018 · 48 citations · Full text

Hardware Security, Code Emulator, Software Security +15

Rows per page

1–5 of 12