Shangde Gao is an author at Hunan University specializing in formal verification, cryptography, and data security.
Top concepts
EngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationSystems EngineeringInformation Security
Publications per year
2019–2019
1
1
Rows per page
1–1 of 1