13
Publications
395
Citations
12
H-Index
2018
Active since
Yangyang Bao is an author at Shanghai Jiao Tong University specializing in formal verification, engineering, and data security.
Top concepts
EngineeringCryptographyData PrivacyData SecurityFormal MethodsComputer ScienceFormal VerificationInformation SecurityCloud ComputingInternet Of Things
Publications per year
2018–2024
13
13
Senolytic Agent Navitoclax Inhibits Angiotensin II-Induced Heart Failure in Mice
Kangni Jia, Yang Dai, Ao Liu et al. · Journal of Cardiovascular Pharmacology · 2020 · 53 citations
Attribute-Hiding Predicate Encryption With Equality Test in Cloud Computing
Jianfei Sun, Yangyang Bao, Xuyun Nie et al. · IEEE Access · 2018 · 28 citations · Full text
Rows per page
1–5 of 13