Sayak Ray

According to our database, Sayak Ray authored at least 23 papers between 2007 and 2024.

Collaborative distances:

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

2024

Optimal Placement of TDC Sensor for Enhanced Power Side-Channel Assessment on FPGAS.

Debayan Das, Majid Sabbagh, Rana Elnaggar, Guang Chen, Sayak Ray, Jason M. Fung

Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

2023

An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors.

Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz

IEEE Trans. Computers, 2023

Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL.

Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Philipp Schmitz, Sayak Ray, Jason M. Fung, Christopher W. Fletcher, Dominik Stoffel, Wolfgang Kunz

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Power Side-Channel Vulnerability Assessment of Lightweight Cryptographic Scheme, XOODYAK.

Anupam Golder, Debayan Das, Santosh Ghosh, Avinash Varna, Majid Sabbagh, Sayak Ray, Rana Elnaggar, Joseph Friel, Daniel Dinu, Jason M. Fung

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

2022

Automating hardware security property generation: invited.

Ryan Kastner, Francesco Restuccia, Andres Meza, Sayak Ray, Jason M. Fung, Cynthia Sturton

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2019

Verification of Authenticated Firmware Load.

Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray

IACR Cryptol. ePrint Arch., 2019

Verification of Authenticated Firmware Loaders.

Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Formal Verification of Security Critical Hardware-Firmware Interactions in Commercial SoCs.

Sayak Ray, Nishant Ghosh, Ramya Jayaram Masti, Arun K. Kanuparthi, Jason M. Fung

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018

Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware.

Bo-Yuan Huang, Sayak Ray, Aarti Gupta, Jason M. Fung, Sharad Malik

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

Malware detection using machine learning based analysis of virtual memory access patterns.

Zhixing Xu, Sayak Ray, Pramod Subramanyan, Sharad Malik

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2015

Evaluating the security of logic encryption algorithms.

Pramod Subramanyan, Sayak Ray, Sharad Malik

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2015

Template-based Synthesis of Instruction-Level Abstractions for SoC Verification.

Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik

Proceedings of the Formal Methods in Computer-Aided Design, 2015

BEE: Predicting realistic worst case and stochastic eye diagrams by accounting for correlated bitstreams and coding strategies.

Aadithya V. Karthik, Sayak Ray, Jaijeet Roychowdhury

Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

2014

Effective abstraction for response proof of communication fabrics.

Sayak Ray, Sharad Malik

Proceedings of the Eighth IEEE/ACM International Symposium on Networks-on-Chip, 2014

NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract).

Aadithya V. Karthik, David Soloveichik, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury

Proceedings of the 5th ACM Conference on Bioinformatics, 2014

ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification.

Aadithya V. Karthik, Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013

Scalable Model Checking Beyond Safety - A Communication Fabric Perspective.

Sayak Ray

PhD thesis, 2013

Ranking structure in communication fabrics.

Sayak Ray, Robert K. Brayton

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

2012

A dynamic assertion-based verification platform for validation of UML designs.

Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan

ACM SIGSOFT Softw. Eng. Notes, 2012

Mapping into LUT structures.

Sayak Ray, Alan Mishchenko, Niklas Eén, Robert K. Brayton, Stephen Jang, Chao Chen

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Scalable progress verification in credit-based flow-control systems.

Sayak Ray, Robert K. Brayton

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Enhancing ABC for stabilization verification of SystemVerilog/VHDL models.

Jiang Long, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton

Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011

2007

A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis.

Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007