Jean Raphael Ngnie Sighom

According to our database, Jean Raphael Ngnie Sighom authored at least 2 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

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

Proceedings of the Formal Methods - 24th International Symposium, 2021

2017

Security Enhancement for Data Migration in the Cloud.

Jean Raphael Ngnie Sighom, Pin Zhang, Lin You

Future Internet, 2017