Peng Luo

Statistics

Publications

Citations

H-Index

Active since

2018

Affiliations

Huazhong University of Science and Technology(Current)

Peng Luo is an author at Huazhong University of Science and Technology specializing in formal verification, computer engineering, and program analysis.

ORCID

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringFuzzingStatic AnalysisSystem Software

Publications per year

2018–2023

Publications

A Heuristic Framework to Detect Concurrency Vulnerabilities

Changming Liu, Deqing Zou, Peng Luo et al. · 2018 · 33 citations

Concurrent Software, Engineering, Concurrency Buffer Overflow +20

Strontium Modified Calcium Sulfate Hemihydrate Scaffold Incorporating Ginsenoside Rg1/Gelatin Microspheres for Bone Regeneration

Peng Luo, Yu Lan, Qiang Lin et al. · Frontiers in Bioengineering and Biotechnology · 2020 · 15 citations · Full text

Reduction-responsive nucleic acid nanocarrier-mediated miR-22 inhibition of PI3K/AKT pathway for the treatment of patient-derived tumor xenograft osteosarcoma

Dafu Chen, Chengyue Lei, Weifeng Liu et al. · Bioactive Materials · 2023 · 12 citations · Full text

Static detection of real-world buffer overflow induced by loop

Peng Luo, Deqing Zou, Yajuan Du et al. · Computers & Security · 2019 · 10 citations

Engineering, Runtime Verification, Program Analysis +9

1–4 of 4