Ning Luo

Research Abstract:

Ning’s research aims to solve emerging challenges in cybersecurity by combining formal methods, cryptography, automated reasoning, programming language, and other areas. First, she builds toward a privacy-preserving software verification toolchain that empowers verifications and ensures trustworthiness without the need to access the source code. This includes various program representations, including Boolean formulae, configuration files, regular language, and transition systems. Second, she also focuses on strengthening the cybersecurity workforce via automation. Her work provides computer-aided programming frameworks for developers with varying expertise levels. In addition, her work equips the workforce with cutting-edge collaboration capabilities by designing tools for conflict resolution and refinement within trust-constrained environments.

Bio:

Ning Luo is a postdoctoral fellow in the computer science department at Northwestern University. She received her Ph.D. in Computer Science from Yale University in Dec 2022. She was also a visiting graduate student at the Simons Institute, UC Berkeley, from January to May 2021. Ning's research combines formal methods, automated reasoning, programming language, and cryptography to achieve security, verifiability, and confidentiality in practical and challenging scenarios. She is a recipient of a CCS Distinguished Paper Award and Robert Innovation Award. Ning was an invited speaker at the Satisfiability workshop hosted by the Simons Institute in April 2023. She has served on program committees of CAV, CSF, EuroS&P, and PoPETS.