Security Enhancement for Data Migration in the Cloud. - Jean Raphael Ngnie Sighom; Pin Zhang; Lin You (Future Internet, 2017)

Apply Formal Methods in Certifying the SyberX High-Assurance Kernel. - Wenjing Xu; Yongwang Zhao; Chengtao Cao; Jean Raphael Ngnie Sighom; Lei Wang; Zhe Jiang; Shihong Zou (FM, 2021)