"Robust System Software for Quantum Computing" Committee Members: Prof. Devesh Tiwari (Advisor) Prof. David Kaeli Prof. Ningfang Mi Prof. Gene Cooperman Prof. Kenneth Brown Abstract: Despite rapid progress in quantum computing in the last decade, the limited usability of quantum computers remains a major roadblock toward its wider adoption. Current noisy intermediate-scale quantum (NISQ) computers […]

"Using Floating-Point Timing Side-Channels to Reverse Engineer Deep Neural Networks" Committee Members: Prof. Yunsi Fei (Advisor) Prof. Aidong Ding Prof. Xiaolin Xu Abstract: Trained Deep Neural Network (DNN) models have become valuable intellectual property. A new attack surface has emerged for DNNs: model reverse engineering. Several recent attempts have utilized various common side channels. However, […]

"Safety Analysis for Nonlinear and Time-Delay Systems using Occupation Measures" International Village 022 Committee Members: Prof. Mario Sznaier (Advisor) Prof. Octavia Camps Prof. Bahram Shafai Prof. Eduardo Sontag Prof. Didier Henrion (LAAS-CNRS) Abstract: This research extends an occupation measure framework to analyze the behavior and safety of dynamical systems. A motivating application of trajectory analysis is […]