Syed Rafay Hasan

发表

Osman Hasan, Awais Mahmood, Syed Rafay Hasan, 2019, Advances in Environmental Engineering and Green Technologies.

Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving

Osman Hasan, Syed Rafay Hasan, Waqar Ahmad, 2020, IEEE Systems Journal.

Area efficient soft error tolerant RISC pipeline: Leveraging data encoding and inherent ALU redundancy

Syed Rafay Hasan, Phani Tangellapalli, 2017, 2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS).

Clock domain crossing (CDC) for inter-logic-layer communication in 3-D ICs

Osman Hasan, Syed Rafay Hasan, Waqas Gul, 2014, 2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS).

Formal reliability analysis of protective systems in smart grids

Osman Hasan, Awais Mahmood, Syed Rafay Hasan, 2016, 2016 IEEE Region 10 Symposium (TENSYMP).

Identification of soft error glitch-propagation paths: Leveraging SAT solvers

Yvon Savaria, Otmane Aït Mohamed, Syed Rafay Hasan, 2012, 2012 IEEE International Symposium on Circuits and Systems.

A self-learning framework to detect the intruded integrated circuits

Faiq Khalid, Osman Hasan, Falah R. Awwad, 2016, 2016 IEEE International Symposium on Circuits and Systems (ISCAS).

FPGA-Based Convolutional Neural Network Architecture with Reduced Parameter Requirements

Muhammad Shafique, Faiq Khalid, Syed Rafay Hasan, 2018, 2018 IEEE International Symposium on Circuits and Systems (ISCAS).

Inter-module Interfacing techniques for SoCs with multiple clock domains to address challenges in modern deep sub-micron technologies

Syed Rafay Hasan, S. R. Hasan, 2009 .

All digital skew tolerant synchronous interfacing methods for high-performance point-to-point communications in deep sub-micron SoCs

Yvon Savaria, M. Omair Ahmad, Syed Rafay Hasan, 2011, Integr..

Translating circuit behavior manifestations of hardware Trojans using model checkers into run-time Trojan detection monitors

Charles A. Kamhoua, Kevin A. Kwiat, Laurent Njilla, 2016, 2016 IEEE Asian Hardware-Oriented Security and Trust (AsianHOST).

Low Power Soft Error Tolerant Macro Synchronous Micro Asynchronous (MSMA) Pipeline

Osman Hasan, Falah R. Awwad, Syed Rafay Hasan, 2014, 2014 IEEE Computer Society Annual Symposium on VLSI.

A Scalable Multilabel Classification to Deploy Deep Learning Architectures For Edge Devices pdf

Syed Rafay Hasan, Ogheneuriri Oderhohwo, Tolulope A. Odetola, 2019, ArXiv.

Abstracting Single Event Transient characteristics variations due to input patterns and fan-out

Yvon Savaria, Otmane Aït Mohamed, Syed Rafay Hasan, 2014, 2014 IEEE International Symposium on Circuits and Systems (ISCAS).

Modeling, analyzing, and abstracting single event transient propagation at gate level

Yvon Savaria, Syed Rafay Hasan, Ghaith Bany Hamad, 2014, 2014 IEEE 57th International Midwest Symposium on Circuits and Systems (MWSCAS).

Motion artifact reduction from PPG signals during intense exercise using filtered X-LMS

Awais M. Kamboh, Syed Rafay Hasan, Khawaja Taimoor Tanweer, 2017, 2017 IEEE International Symposium on Circuits and Systems (ISCAS).

Runtime hardware Trojan monitors through modeling burst mode communication using formal verification

Faiq Khalid, Osman Hasan, Falah R. Awwad, 2018, Integr..

SEGP-Finder: Tool for identification of Soft Error Glitch-Propagating paths at gate level

Yvon Savaria, Otmane Aït Mohamed, Syed Rafay Hasan, 2011, 2011 18th IEEE International Conference on Electronics, Circuits, and Systems.

A fast FPGA-based deep convolutional neural network using pseudo parallel memories

Syed Rafay Hasan, Muluken Hailesellasie, 2017, 2017 IEEE International Symposium on Circuits and Systems (ISCAS).

An all-digital skew-adaptive clock scheduling algorithm for heterogeneous multiprocessor systems on chips (MPSoCs)

Yvon Savaria, Syed Rafay Hasan, Bill Pontikakis, 2009, 2009 IEEE International Symposium on Circuits and Systems.

SIMCom: Statistical sniffing of inter-module communications for runtime hardware trojan detection pdf

Muhammad Shafique, Faiq Khalid, Osman Hasan, 2020, Microprocess. Microsystems.

Clock domain crossing (CDC) in 3D-SICs: Semi QDI asynchronous vs loosely synchronous

Osman Hasan, Syed Rafay Hasan, Waqas Gul, 2016, Integr..

A Stealthy Hardware Trojan Exploiting the Architectural Vulnerability of Deep Learning Architectures: Input Interception Attack (IIA) pdf

Syed Rafay Hasan, Tolulope A. Odetola, Hawzhin Raoof Mohammed, 2019, ArXiv.

MulMapper: Towards an Automated FPGA-Based CNN Processor Generator Based on a Dynamic Design Space Exploration

Syed Rafay Hasan, Muluken Hailesellasie, Otmane Ait Mohamed, 2019, 2019 IEEE International Symposium on Circuits and Systems (ISCAS).

Low Power Digital Clock Multipliers for Battery-Operated Internet of Things (IoT) Devices

Muhammad Shafique, Faiq Khalid, Osman Hasan, 2018, 2018 IEEE International Symposium on Circuits and Systems (ISCAS).

Timing variation aware dynamic digital phase detector for low-latency clock domain crossing

Osman Hasan, Syed Rafay Hasan, Faiq Khalid Lodhi, 2014, IET Circuits Devices Syst..

Behavior profiling of power distribution networks for runtime hardware trojan detection

Faiq Khalid, Osman Hasan, Syed Rafay Hasan, 2017, 2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS).

Hardware Trojan Based Security Issues in Home Area Network: A Testbed Setup

Omar S. Elkeelany, Faiq Khalid, Nan Guo, 2018, 2018 IEEE 61st International Midwest Symposium on Circuits and Systems (MWSCAS).

Crosstalk Glitch Propagation Modeling for Asynchronous Interfaces in Globally Asynchronous Locally Synchronous Systems

Yvon Savaria, M. Omair Ahmad, Syed Rafay Hasan, 2010, IEEE Transactions on Circuits and Systems I: Regular Papers.

A Novel Framework to Introduce Hardware Trojan Monitors using Model Checking Based Counterexamples: Inspired by Game Theory

Charles A. Kamhoua, Kevin A. Kwiat, Laurent Njilla, 2018, 2018 IEEE 61st International Midwest Symposium on Circuits and Systems (MWSCAS).

Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification

Osman Hasan, Falah R. Awwad, Syed Rafay Hasan, 2016, J. Electron. Test..

A novel correlation power analysis attack on PIC based AES-128 without access to crypto device

Syed Rafay Hasan, Oluwadara Adegbite, 2017, 2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS).

Grouped through silicon vias for lower Ldi/dt drop in three-dimensional integrated circuit

Syed Rafay Hasan, Siraj Fulum Mossa, Omar Sayed Ahmed Elkeelany, 2016, IET Circuits Devices Syst..

Hardware Trojan detection in soft error tolerant macro synchronous micro asynchronous (MSMA) pipeline

Osman Hasan, Syed Rafay Hasan, Falah Awwad, 2014, 2014 IEEE 57th International Midwest Symposium on Circuits and Systems (MWSCAS).

MacLeR: Machine Learning-Based Runtime Hardware Trojan Detection in Resource-Constrained IoT Edge Devices

Muhammad Shafique, Faiq Khalid, Osman Hasan, 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Soft error aware pipelined architecture: Leveraging automatic repeat request protocol

Syed Rafay Hasan, Phani Balaji Swamy Tangellapalli, 2013, 2013 IEEE 56th International Midwest Symposium on Circuits and Systems (MWSCAS).

All Digital Low Power Aging Sensor for Counterfeit Detection in Integrated Circuits

Syed Rafay Hasan, Enahoro Oriero, 2018, 2018 IEEE 61st International Midwest Symposium on Circuits and Systems (MWSCAS).

Formal verification of ladder logic programs using NuSMV

Mehdy Khayamy, Syed Rafay Hasan, Omar Elkeelany, 2017, SoutheastCon 2017.

VAWS: Vulnerability Analysis of Neural Networks using Weight Sensitivity

Faiq Khalid, Jacob Nelson, Syed Rafay Hasan, 2019, 2019 IEEE 62nd International Midwest Symposium on Circuits and Systems (MWSCAS).

Fusion-On-Field Security and Privacy Preservation for IoT Edge Devices: Concurrent Defense Against Multiple Types of Hardware Trojan Attacks

Syed Rafay Hasan, Falah Awwad, Hawzhin Mohammed, 2020, IEEE Access.

Anomaly Detection In IoT Devices Using Data Mining Techniques

William Eberle, Syed Rafay Hasan, Hawzhin Mohammed, 2018 .

(HIADIoT): Hardware Intrinsic Attack Detection in Internet of Things; Leveraging Power Profiling

Syed Rafay Hasan, Falah Awwad, Isaiah Garlin, 2019, 2019 IEEE 62nd International Midwest Symposium on Circuits and Systems (MWSCAS).

How Secure is Distributed Convolutional Neural Network on IoT Edge Devices? pdf

Syed Rafay Hasan, Tolulope A. Odetola, Hawzhin Mohammed, 2020, ArXiv.

Tenacious hardware trojans due to high temperature in middle tiers of 3-D ICs

Syed Rafay Hasan, Falah Awwad, Siraj Fulum Mossa, 2015, 2015 IEEE 58th International Midwest Symposium on Circuits and Systems (MWSCAS).

Survey on recent counterfeit IC detection techniques and future research directions

Syed Rafay Hasan, Enahoro Oriero, S. R. Hasan, 2019, Integr..

Crosstalk-Glitch Gating: A Solution for Designing Glitch-Tolerant Asynchronous Handshake Interface Mechanisms for GALS Systems

Yvon Savaria, M. Omair Ahmad, Syed Rafay Hasan, 2010, IEEE Transactions on Circuits and Systems I: Regular Papers.

Characterizing, modeling, and analyzing soft error propagation in asynchronous and synchronous digital circuits

Yvon Savaria, Otmane Aït Mohamed, Syed Rafay Hasan, 2015, Microelectron. Reliab..

Hardware trojans in 3-D ICs due to NBTI effects and countermeasure

Omar S. Elkeelany, Syed Rafay Hasan, Siraj Fulum Mossa, 2017, Integr..

Deployment of Object Detection Enhanced with Multi-label Multi-classification on Edge Device

Syed Rafay Hasan, Ogheneuriri Oderhohwo, Tolulope A. Odetola, 2020, 2020 IEEE 63rd International Midwest Symposium on Circuits and Systems (MWSCAS).

A Utility Maximized Demand-Side Management for Autonomous Microgrid

Osman Hasan, Rabie Belkacemi, Syed Rafay Hasan, 2018, 2018 IEEE Electrical Power and Energy Conference (EPEC).

Introducing redundant TSV with low inductance for 3-D IC

Syed Rafay Hasan, Siraj Fulum Mossa, Omar Sayed Ahmed Elkeelany, 2014, 2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS).

Intrusion Detection in PLC-Based Industrial Control Systems Using Formal Verification Approach in Conjunction with Graphs

Syed Rafay Hasan, Muluken Hailesellasie, S. R. Hasan, 2018, J. Hardw. Syst. Secur..

A Library-Based Early Soft Error Sensitivity Analysis Technique for SRAM-Based FPGA Design

Yvon Savaria, Claude Thibeault, Syed Rafay Hasan, 2013, J. Electron. Test..

Formal Asymptotic Analysis of Online Scheduling Algorithms for Plug-In Electric Vehicles’ Charging

Osman Hasan, Syed Rafay Hasan, Falah Awwad, 2018, Energies.

Covert Communication Channel Detection in Low-Power Battery Operated IoT Devices: Leveraging Power Profiles

Syed Rafay Hasan, Omar Elkeelany, Hawzhin Mohammed, 2018, SoutheastCon 2018.

Formal verification of demand response based home energy management systems in smart grids

Osman Hasan, Syed Rafay Hasan, Falah Awwad, 2017, 2017 IEEE Innovative Smart Grid Technologies - Asia (ISGT-Asia).

MulNet: A Flexible CNN Processor With Higher Resource Utilization Efficiency for Constrained Devices

Syed Rafay Hasan, S. R. Hasan, Muluken Tadesse Hailesellasie, 2019, IEEE Access.

A novel hybrid FIFO asynchronous clock domain crossing interfacing method

Otmane Aït Mohamed, Yvon Savaria, Syed Rafay Hasan, 2012, GLSVLSI '12.

Hardware Trojans in asynchronous FIFO-buffers: From clock domain crossing perspective

Syed Rafay Hasan, Falah Awwad, Siraj Fulum Mossa, 2015, 2015 IEEE 58th International Midwest Symposium on Circuits and Systems (MWSCAS).

Power profiling of microcontroller's instruction set for runtime hardware Trojans detection without golden circuit models

Osman Hasan, Falah R. Awwad, Syed Rafay Hasan, 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

Self-triggering hardware trojan: Due to NBTI related aging in 3-D ICs

Omar S. Elkeelany, Syed Rafay Hasan, Siraj Fulum Mossa, 2017, Integr..

Load Control and Privacy-Preserving Scheme for Data Collection in AMI Networks pdf

Mohammad Ashiqur Rahman, Syed Rafay Hasan, Hawzhin Mohammed, 2018, ArXiv.

Synchronously triggered GALS design templates leveraging QDI asynchronous interfaces

Osman Hasan, Falah R. Awwad, Syed Rafay Hasan, 2016, 2016 IEEE International Symposium on Circuits and Systems (ISCAS).

Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection

Osman Hasan, Falah R. Awwad, Syed Rafay Hasan, 2015, 2015 Nordic Circuits and Systems Conference (NORCAS): NORCHIP & International Symposium on System-on-Chip (SoC).

Crosstalk Effects in Event-Driven Self-Timed Circuits Designed With 90nm CMOS Technology

Yvon Savaria, Syed Rafay Hasan, 2007, 2007 IEEE International Symposium on Circuits and Systems.

2L-3W: 2-Level 3-Way Hardware-Software Co-Verification for the Mapping of Deep Learning Architecture (DLA) onto FPGA Boards pdf

Syed Rafay Hasan, Tolulope A. Odetola, Katie M. Groves, 2019, ArXiv.

Optimal partitioning of globally asychronous locally synchronous processor arrays

Syed Rafay Hasan, Mohamed Nekili, S. R. Hasan, 2004, GLSVLSI '04.

2L-3W: 2-Level 3-Way Hardware-Software Co-verification for the Mapping of Convolutional Neural Network (CNN) onto FPGA Boards

Faiq Khalid, Syed Rafay Hasan, Tolulope A. Odetola, 2022, SN Comput. Sci..

WORDA: A Winograd Offline-Runtime Decomposition Algorithm for Faster CNN Inference

Syed Rafay Hasan, Tolulope A. Odetola, Jacob Nelson, 2021, 2021 IEEE International Midwest Symposium on Circuits and Systems (MWSCAS).

Dynamic Distribution of Edge Intelligence at the Node Level for Internet of Things

Syed Rafay Hasan, Nan Guo, Tolulope A. Odetola, 2021, 2021 IEEE International Midwest Symposium on Circuits and Systems (MWSCAS).

Security Analysis of Capsule Network Inference using Horizontal Collaboration

Faiq Khalid, Syed Rafay Hasan, Tolulope A. Odetola, 2021, 2021 IEEE International Midwest Symposium on Circuits and Systems (MWSCAS).

FeSHI: Feature Map-Based Stealthy Hardware Intrinsic Attack

Faiq Khalid, Syed Rafay Hasan, Tolulope A. Odetola, 2021, IEEE Access.

SoWaF: Shuffling of Weights and Feature Maps: A Novel Hardware Intrinsic Attack (HIA) on Convolutional Neural Network (CNN)

Syed Rafay Hasan, Tolulope A. Odetola, 2021, 2021 IEEE International Symposium on Circuits and Systems (ISCAS).

Investigating the impact of propagation paths and re-convergent paths on the propagation induced pulse broadening

Yvon Savaria, Syed Rafay Hasan, Ghaith Bany Hamad, 2013, 2013 14th European Conference on Radiation and Its Effects on Components and Systems (RADECS).

New Insights Into the Single Event Transient Propagation Through Static and TSPC Logic

Yvon Savaria, Syed Rafay Hasan, Ghaith Bany Hamad, 2014, IEEE Transactions on Nuclear Science.