A novel logic-based automatic approach to constructing compliant security policies. - Yibao Bao; Lihua Yin; Binxing Fang; Li Guo 001 (Sci. China Inf. Sci., 2012)

hPRESS: A Hardware-Enhanced Proxy Re-Encryption Scheme Using Secure Enclave. - Fan Zhang 010; Ziyuan Liang; Cong Zuo; Jun Shao 001; Jianting Ning; Jun Sun 001; Joseph K. Liu; Yibao Bao (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)