BEGIN:VCALENDAR
VERSION:2.0
CALSCALE:GREGORIAN
PRODID:iCalendar-Ruby
BEGIN:VEVENT
CATEGORIES:Lectures & Speakers,Science & Technology
DESCRIPTION:Abstract:\nA zero-knowledge proof (ZKP) is a powerful cryptogra
 phic primitive used in many decentralized or privacy-focused applications. 
 However\, the high overhead of ZKPs can restrict their practical applicabil
 ity. In this talk\, I will discuss our recent work\, Ou\, the first program
 ming framework that provides fully automated and optimal parallelization fo
 r ZKPs. The frontend language of Ou ensures privacy and correctness through
  its robust type system. It also enables cryptography experts to introduce 
 optimizations\, such as the employment of extended witnesses or random chal
 lenges. In addition\, the backend of Ou efficiently and automatically paral
 lelizes ZKPs by formulating program parallelization as integer linear progr
 amming problems. This work was accepted by CCS 2023 and received a Yale Rob
 erts Innovation Award.\n\nBio:\nNing Luo is a postdoctoral fellow in the co
 mputer science department at Northwestern University. She received her Ph.D
 . in Computer Science from Yale University in 2022. She is a recipient of E
 ECS rising stars\, a CCS Distinguished Paper Award\, and Robert Innovation 
 Award. Ning’s research aims to solve emerging challenges in cybersecurity b
 y combining formal methods\, cryptography\, automated reasoning\, programmi
 ng language\, and other areas. First\, she focuses on strengthening the cyb
 ersecurity workforce via automation. Her work provides computer-aided progr
 amming frameworks for developers with varying expertise levels. Second\, sh
 e builds toward a privacy-preserving software verification toolchain that e
 mpowers verifications and ensures trustworthiness without the need to acces
 s the source code.
DTEND:20231205T163000Z
DTSTAMP:20260422T175609Z
DTSTART:20231205T150000Z
GEO:38.900051;-77.049426
LOCATION:Science & Engineering Hall\, Lehman Auditorium
SEQUENCE:0
SUMMARY:Department of Computer Science Colloquium Series
UID:tag:localist.com\,2008:EventInstance_44881588105963
URL:https://calendar.gwu.edu/event/department_of_computer_science_colloquiu
 m_series_8963
END:VEVENT
END:VCALENDAR