Ning Dong

Ning Dong’s homepage

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.

Publication

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.

Education

Sep 2019 - Feb 2024, KTH Royal Institute of Technology, Doctoral student, 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.

Contact

E-mail: dongn@kth.se

Others: Github, LinkedIn