Saranyu Chattopadhyay

According to our database, Saranyu Chattopadhyay authored at least 11 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators.

Saranyu Chattopadhyay, Keerthikumara Devarajegowda, Bihan Zhao, Florian Lonsing, Brandon A. D'Agostino, Ioanna Vavelidou, Vijay Deep Bhatt, Sebastian Prebeck, Wolfgang Ecker, Caroline Trippel, Clark W. Barrett, Subhasish Mitra

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

LeGO: A Learning-Guided Obfuscation Framework for Hardware IP Protection.

Abdulrahman Alaql, Saranyu Chattopadhyay, Prabuddha Chakraborty, Tamzidul Hoque, Swarup Bhunia

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers.

Abhishek Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett

CoRR, 2022

Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers.

Abhishek Anil Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

A Conditionally Chaotic Physically Unclonable Function Design Framework with High Reliability.

Saranyu Chattopadhyay, Pranesh Santikellur, Rajat Subhra Chakraborty, Jimson Mathew, Marco Ottavi

ACM Trans. Design Autom. Electr. Syst., 2021

Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition.

Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

A-QED Verification of Hardware Accelerators.

Eshan Singh, Florian Lonsing, Saranyu Chattopadhyay, Maxwell Strange, Peng Wei, Xiaofan Zhang, Yuan Zhou, Deming Chen, Jason Cong, Priyanka Raina, Zhiru Zhang, Clark W. Barrett, Subhasish Mitra

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

Cyclic Beneš Network Based Logic Encryption for Mitigating SAT-Based Attacks.

Saranyu Chattopadhyay, Rajat Subhra Chakraborty

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

Machine Learning Assisted Accurate Estimation of Usage Duration and Manufacturer for Recycled and Counterfeit Flash Memory Detection.

Saranyu Chattopadhyay, Preeti Kumari, Biswajit Ray, Rajat Subhra Chakraborty

Proceedings of the 28th IEEE Asian Test Symposium, 2019

2018

A novel technique for implementing reactance in spin domain using Spin Hall Effect.

Saranyu Chattopadhyay

Microelectron. J., 2018

2017

STT-MRAM for Low Power Access for Read-Intensive Parallel Deep-Learning Architectures.

Saranyu Chattopadhyay, Kaustav Brahma, Arkaprova Ray, Mrigank Sharad

Proceedings of the IEEE International Symposium on Nanoelectronic and Information Systems, 2017