Login / Signup
Jean Raphael Ngnie Sighom
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 2
Top Topics
Provably Correct
Model Checker
Data Migration
Formal Methods
Top Venues
FM
Future Internet
</>
Publications
</>
Wenjing Xu
,
Yongwang Zhao
,
Chengtao Cao
,
Jean Raphael Ngnie Sighom
,
Lei Wang
,
Zhe Jiang
,
Shihong Zou
Apply Formal Methods in Certifying the SyberX High-Assurance Kernel.
FM
(2021)
Jean Raphael Ngnie Sighom
,
Pin Zhang
,
Lin You
Security Enhancement for Data Migration in the Cloud.
Future Internet
9 (3) (2017)