FASER (Formal and Automatic Security Enforcement by Rewriting): An algebraic approach. - Guangye Sui; Mohamed Mejri; Hatem Ben Sta (CISDA, 2012)

FASER (Formal and Automatic Security Enforcement by Rewriting) by BPA algebra with test. - Guangye Sui; Mohamed Mejri (Int. J. Grid Util. Comput., 2013)

Security Enforcement by Rewriting: An Algebraic Approach. - Guangye Sui; Mohamed Mejri (FPS, 2015)

Revisiting OAKE in the eCK Security Model. - Guangye Sui; Yunlei Zhao (CNS, 2018)

Functional broadcast encryption with applications to data sharing for cloud storage. - Huige Wang; Yuan Zhang 006; Kefei Chen; Guangye Sui; Yunlei Zhao; Xinyi Huang 001 (Inf. Sci., 2019)

Efficient SSE With Forward ID-Privacy and Authentication in the Multi-Data-Owner Settings. - Huige Wang; Guangye Sui; Yunlei Zhao; Kefei Chen (IEEE Access, 2021)