I am a Ph.D. for computer science at KTH Royal Institute of Technology, supervised by Prof. Roberto Guanciale and Prof. Mads Dam.
My research work focuses on formal modelling and verification of low-level hardware and software such as pipelined processors and I/O devices, information flow analysis, and microarchitecture security.
“Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor”, FMCAD'23, Ning Dong, Roberto Guanciale, Mads Dam, Andreas Lööw.
“Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution”, FMCAD'22, Karl Palmskog, Xiaomo Yao, Ning Dong, Roberto Guanciale, Mads Dam.
“Refinement-Based Verification of Device-to-Device Information Flow”, FMCAD'21, Ning Dong, Roberto Guanciale, Mads Dam.
Sep 2019 - Feb 2024, KTH Royal Institute of Technology, Doctor of Philosophy, Computer Science.
Sep 2016 - Jun 2019, Beijing Jiaotong University, Master of Engineering, Communication and Information Systems.
Sep 2012 - Jun 2016, Beijing Jiaotong University, Bachelor of Engineering, Communication Engineering.
E-mail: dongn@kth.se