Sayak Ray
Sayak Ray
Security Researcher, Intel Corporation
Geverifieerd e-mailadres voor intel.com
Titel
Geciteerd door
Geciteerd door
Jaar
Evaluating the security of logic encryption algorithms
P Subramanyan, S Ray, S Malik
Hardware Oriented Security and Trust (HOST), 2015 IEEE International …, 2015
3332015
Mapping into LUT structures
S Ray, A Mishchenko, N Een, R Brayton, S Jang, C Chen
Proceedings of the Conference on Design, Automation and Test in Europe, 1579 …, 2012
382012
Malware detection using machine learning based analysis of virtual memory access patterns
Z Xu, S Ray, P Subramanyan, S Malik
2017 Design, Automation & Test in Europe Conference & Exhibition (DATE), 169-174, 2017
362017
ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification.
AV Karthik, S Ray, P Nuzzo, A Mishchenko, RK Brayton, J Roychowdhury
ASP-DAC, 250-255, 2014
272014
Template-based synthesis of instruction-level abstractions for SoC verification
P Subramanyan, Y Vizel, S Ray, S Malik
Proceedings of the 15th Conference on Formal Methods in Computer-Aided …, 2015
242015
Scalable progress verification in credit-based flow-control systems
S Ray, RK Brayton
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 905-910, 2012
172012
Enhancing ABC for LTL Stabilization Verification of SystemVerilog/VHDL Models
J Long, S Ray, B Sterin, A Mishchenko, R Brayton
Ganesh Gopalakrishnan University of Utah USA, 38, 2011
122011
BEE: Predicting realistic worst case and stochastic eye diagrams by accounting for correlated bitstreams and coding strategies
AV Karthik, S Ray, J Roychowdhury
The 20th Asia and South Pacific Design Automation Conference, 366-371, 2015
92015
Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware
BY Huang, S Ray, A Gupta, JM Fung, S Malik
Proceedings of the 55th Annual Design Automation Conference, 91, 2018
82018
A dynamic assertion-based verification platform for validation of UML designs
A Banerjee, S Ray, P Dasgupta, PP Chakrabarti, S Ramesh, P Vignesh, ...
ACM SIGSOFT Software Engineering Notes 37 (1), 1-14, 2012
72012
A dynamic assertion-based verification platform for UML statecharts over rhapsody
A Banerjee, S Ray, P Dasgupta, PP Chakrabarti, S Ramesh, P Vignesh, ...
TENCON 2008-2008 IEEE Region 10 Conference, 1-6, 2008
62008
Minimum-perturbation retiming for delay optimization
S Ray, A Mishchenko, R Brayton, S Jang, T Daniel
Proc. IWLS’10, 2010
42010
Incremental sequential equivalence checking and subgraph isomorphism
S Ray, A Mishchenko, R Brayton
42009
Well-foundedness in Credit-Based Flow-Control Systems
S Ray, RK Brayton
International Workshop on Logic Synthesis, 1-8, 2012
32012
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs
A Banerjee, S Ray, P Dasgupta, PP Chakrabarti, S Ramesh, ...
International Symposium on Automated Technology for Verification and …, 2008
22008
A new pseudo-boolean satisfiability based approach to power mode schedulability analysis
S Ray, P Dasgupta, PP Chakrabarti
20th International Conference on VLSI Design held jointly with 6th …, 2007
22007
Ranking structure in communication fabrics
S Ray, RK Brayton
Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM …, 2013
12013
Formal Verification of Power Scheduling Policies for Battery Powered Mobile Systems
S Ray, P Dasgupta, PP Chakrabarti
2006 Annual IEEE India Conference, 1-6, 2006
12006
NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks
AV Karthik, D Soloveichik, S Ray, B Sterin, A Mishchenko, R Brayton, ...
Proceedings of the 5th ACM Conference on Bioinformatics, Computational …, 2014
2014
Effective Abstraction for Response Proof of Communication Fabrics
S Ray, S Malik
Networks-on-Chip (NoCS), 2014 Eighth IEEE/ACM International Symposium on …, 2014
2014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20