Meel, Kuldeep, Moshe Vardi, Supratik Chakraborty, Daniel Fremont, Sanjit Seshia, Dror Fried, Alexander Ivrii, and Sharad Malik. 2016. “Constrained Sampling and Counting: Universal Hashing Meets Sat Solving”. In Workshops at the Thirtieth AAAI Conference on Artificial Intelligence.

Subramanyan, Pramod, Nestan Tsiskaridze, Wenchao Li, Adria Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit Seshia, and Sharad Malik. 2014. “Reverse Engineering Digital Circuits Using Structural and Functional Analyses.”. IEEE Trans. Emerging Topics Comput. 2 (1): 63–80.

Li, Wenchao, Adria Gascon, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, and Sanjit Seshia. 2013. “Wordrev: Finding Word-Level Structures in a Sea of Bit-Level Gates”. In Hardware-Oriented Security and Trust (HOST), 2013 IEEE International Symposium on, 67–74. IEEE.