Securely outsourcing power grid simulation on cloud. - Naval Gupte; Jia Wang (ACM Great Lakes Symposium on VLSI, 2014)

Transient Noise Bounds using Vectorless Power Grid Verification. - Naval Gupte; Jia Wang (ICCAD, 2015)

Secure Power Grid Simulation on Cloud. - Naval Gupte; Jia Wang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)