Towards Validation of TLS 1.3 Formal Model and Vulnerabilities in Intel's RA-TLS ProtocolIEEE ACCESSIF3.62024-01-010OA
Formal Specification and Verification of Architecturally-Defined Attestation Mechanisms in Arm CCA and Intel TDXIEEE ACCESSIF3.62024-01-011OA
Confidential computing and related technologies: a critical review机密计算和相关技术: 批判性评论CYBERSECURITYIF3.72023-05-024OA
Demystifying Attestation in Intel Trust Domain Extensions via Formal VerificationIEEE ACCESSIF3.62021-01-0123OAAI
Statistical model checking of relief supply location and distribution in natural disaster managementINTERNATIONAL JOURNAL OF DISASTER RISK REDUCTIONIF4.52018-10-0110PREAI
Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemesJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTINGIF42017-02-0110PREAI
IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of ThingsIEEE ACCESSIF3.62017-01-0143OAAI
个人简介
教育背景
工作经历
荣誉奖项
未登录.png){kind=icon}
未登录个人简介教育背景工作经历荣誉奖项
研究方向