[IEEE 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Ferrara, Italy (2014.9.17-2014.9.19)] 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - [Front cover]2014

[IEEE 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Ferrara, Italy (2014.9.17-2014.9.19)] 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - [Front cover]2014

[IEEE 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Ferrara, Italy (2014.9.17-2014.9.19)] 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - [Copyright notice]2014

[IEEE 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Ferrara, Italy (2014.9.17-2014.9.19)] 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - NOCS organization2014

[IEEE 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Ferrara, Italy (2014.9.17-2014.9.19)] 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Author index2014

[IEEE 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Ferrara, Italy (2014.9.17-2014.9.19)] 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Table of contents2014

[IEEE 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Ferrara, Italy (2014.9.17-2014.9.19)] 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Message from the chairsBertozzi, Davide; Benini, Luca; Yalamanchili, Sudhakar; Henkel, Joerg · 2014

[IEEE 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - Ferrara, Italy (2014.9.17-2014.9.19)] 2014 Eighth IEEE/ACM International Symposium on Networks-on-Chip (NoCS) - SpinNNaker: The world's biggest NoCFurber, Steve · 2014

[IEEE 2015 IEEE International Symposium on Hardware Oriented Security and Trust (HOST) - Washington, DC, USA (2015.5.5-2015.5.7)] 2015 IEEE International Symposium on Hardware Oriented Security and Trust (HOST) - Evaluating the security of logic encryption algorithmsSubramanyan, Pramod; Ray, Sayak; Malik, Sharad · 2015

[IEEE 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Lausanne, Switzerland (2017.3.27-2017.3.31)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 - Malware detection using machine learning based analysis of virtual memory access patternsXu, Zhixing; Ray, Sayak; Subramanyan, Pramod; Malik, Sharad · 2017

[IEEE 2015 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2015.9.27-2015.9.30)] 2015 Formal Methods in Computer-Aided Design (FMCAD) - Template-based synthesis of instruction-level abstractions for SoC verificationSubramanyan, Pramod; Vizel, Yakir; Ray, Sayak; Malik, Sharad · 2015

[IEEE 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - San Francisco, CA (2018.6.24-2018.6.28)] 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - Formal Security Verification of Concurrent Firmware in SoCs using Instruction-Level Abstraction for Hardware ^*Huang, Bo-Yuan; Ray, Sayak; Gupta, Aarti; Fung, Jason M.; Malik, Sharad · 2018

[ACM Press the 55th Annual Design Automation Conference - San Francisco, California (2018.06.24-2018.06.29)] Proceedings of the 55th Annual Design Automation Conference on - DAC '18 - Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardwareHuang, Bo-Yuan; Ray, Sayak; Gupta, Aarti; Fung, Jason M.; Malik, Sharad · 2018