Kezhi Lv is an author at Beihang University specializing in reverse engineering, formal methods, and data security.
Top concepts
EngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceNetwork SecurityProgram AnalysisSoftware AnalysisFormal Verification
Publications per year
2019–2019
1
1
Rows per page
1–1 of 1