Sayak Ray
发表
Sayak Ray,
Ansuman Banerjee,
Pallab Dasgupta,
2012,
SOEN.
Sayak Ray,
Pramod Subramanyan,
Sujit Kumar Muduli,
2019,
IACR Cryptol. ePrint Arch..
Sayak Ray,
Pramod Subramanyan,
Sujit Kumar Muduli,
2019,
2019 Formal Methods in Computer Aided Design (FMCAD).
Sayak Ray,
Ramya Jayaram Masti,
Arun K. Kanuparthi,
2019,
2019 56th ACM/IEEE Design Automation Conference (DAC).
Robert K. Brayton,
Sayak Ray,
Pierluigi Nuzzo,
2014,
2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).
Sayak Ray,
Sharad Malik,
Aarti Gupta,
2018,
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
Sayak Ray,
Jaijeet S. Roychowdhury,
Aadithya V. Karthik,
2015,
The 20th Asia and South Pacific Design Automation Conference.
Sayak Ray,
Sharad Malik,
Aarti Gupta,
2018,
DAC.
Robert K. Brayton,
Sayak Ray,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Sayak Ray,
Sayak Ray,
2013
.
Sayak Ray,
Pallab Dasgupta,
P. P. Chakrabarti,
2007,
20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07).
Robert K. Brayton,
Sayak Ray,
Chao Chen,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Sayak Ray,
Pallab Dasgupta,
P.P. Chakrabarti,
2006,
2006 Annual IEEE India Conference.
Sayak Ray,
Sharad Malik,
Pramod Subramanyan,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Sayak Ray,
Ansuman Banerjee,
Pallab Dasgupta,
2008,
ATVA.
Robert K. Brayton,
Jiang Long,
Sayak Ray,
2011,
DIFTS@FMCAD.
Sayak Ray,
Sharad Malik,
Pramod Subramanyan,
2017,
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
Robert K. Brayton,
Sayak Ray,
2013,
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).
Robert K. Brayton,
Sayak Ray,
Baruch Sterin,
2014,
BCB.
Sayak Ray,
Sharad Malik,
Pramod Subramanyan,
2015,
2015 IEEE International Symposium on Hardware Oriented Security and Trust (HOST).
Sayak Ray,
Sarvesh Relekar,
Sayak Ray,
2021,
International Journal of Computer Applications.
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors
pdf
Sayak Ray,
Dominik Stoffel,
Wolfgang Kunz,
2021,
ArXiv.
Sayak Ray,
Pierluigi Nuzzo,
Jaijeet Roychowdhury,
2014
.
Robert K. Brayton,
Sayak Ray,
2012
.
Sayak Ray,
Alan Mishchenko,
Robert Brayton,
2009
.