Shuai Shao

Publications

123

Citations

H-Index

2013

Active since

Affiliations

China Information Technology Security Evaluation Center(Current)

Hebei University of Science and Technology

Shuai Shao is an author at China Information Technology Security Evaluation Center specializing in engineering, data security, and formal verification.

ORCID

Top concepts

EngineeringData SecurityCryptographyComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisSoftware SecurityFormal Verification

Publications per year

2013–2020

Publications

Modelling Analysis and Auto-detection of Cryptographic Misuse in Android Applications

Shuai Shao, Guowei Dong, Tao Guo et al. · 2014 · 69 citations

Mobile Security, Engineering, Information Security +17

FineLock: automatically refactoring coarse-grained locks into fine-grained locks

Yang Zhang, Shuai Shao, Juan Zhai et al. · 2020 · 16 citations

Engineering, Prototype Finelock, Computer Architecture +21

Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation

Yang Zhang, Shuai Shao, Huan Liu et al. · IEEE Access · 2019 · 15 citations · Full text

Engineering, Various Java Locks, Computer Architecture +25

Pairing and Authentication Security Technologies in Low-Power Bluetooth

Junfeng Xu, Tao Zhang, Lin Dong et al. · 2013 · 12 citations

Lightweight Authentication Mechanism, Mobile Security, Engineering +12

Optimized Ciphertext-Policy Attribute-Based Encryption with Efficient Revocation

Yang Li, Jianming Zhu, Xiuli Wang et al. · International Journal of Security and Its Applications · 2013 · 11 citations · Full text

Rows per page

1–5 of 5