Engineering Seminars Test Calendar 2.10

View Full Calendar

Dr. Ning Luo ECE Faculty Candidate Seminar

Event Type
Electrical and Computer Engineering
B02 CSL Auditorum & Zoom
Feb 22, 2024   10:00 - 11:00 am  
Dr. Ning Luo, Postdoctoral Fellow, Northwestern University
Angie Ellis
Originating Calendar
Illinois ECE Calendar

ECE Faculty Candidate Seminar

Dr. Ning Luo

Postdoctoral Fellow, Northwestern University

Thursday, February 22, 2024, 10:00-11:00 am

B02 CSL Auditorium or via Zoom 

Title: Going From Strength to Strength: Synergizing Formal Methods and Cryptography

Abstract: As our reliance on digital techniques grows, ensuring the reliability and security of software becomes more crucial than ever.   In this talk, I will discuss my research on synergizing cryptography and formal methods to achieve next-generation security and reliability of software. I will explain how to integrate cryptography into formal methods and enable software verification even without access to the software’s source code.  I will also demonstrate how to liberate the workforce from the complexity of cryptography-related implementation by applying formal methods to cryptography.   Altogether, I will show that a never-before-seen combination of cryptography and formal methods is not only possible but also a necessary component in developing secure and reliable software for the future.

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. 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 EECS Rising Stars (2023), a CCS Distinguished Paper Award (2022) and Roberts Innovation Award (2023).

link for robots only