Prabhat Mishra

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 129

Top Venues

CoRR

DATE

IEEE Trans. Very Large Scale Integr. Syst.

ICCD

Publications

Zhixin Pan, Prabhat Mishra
TD-Zero: Automatic Golden-Free Hardware Trojan Detection Using Zero-Shot Learning. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (7) (2024)
Aruna Jayasena, Prabhat Mishra
Design for Trust Utilizing Rareness Reduction. VLSID (2024)
Hasini Witharana, Daniel Volya, Prabhat Mishra
QcAssert: Quantum Device Testing with Concurrent Assertions. ASPDAC (2024)
Emma Andrews, Prabhat Mishra
Explainable Metric Learning for Deflating Data Bias. CoRR (2024)
Sahan Sanjaya, Aruna Jayasena, Prabhat Mishra
Information Leakage through Physical Layer Supply Voltage Coupling Vulnerability. CoRR (2024)
Hasini Witharana, Debapriya Chatterjee, Prabhat Mishra
Verifying Memory Confidentiality and Integrity of Intel TDX Trusted Execution Environments. HOST (2024)
Aruna Jayasena, Richard Bachmann, Prabhat Mishra
EvilCS: An Evaluation of Information Leakage through Context Switching on Security Enclaves. DATE (2024)
Zhixin Pan, Emma Andrews, Laura Chang, Prabhat Mishra
Privacy-Preserving Debiasing using Data Augmentation and Machine Unlearning. CoRR (2024)
Hansika Weerasena, Prabhat Mishra
Lightweight Multicast Authentication in NoC-based SoCs. ISQED (2024)
Aruna Jayasena, Richard Bachmann, Prabhat Mishra
CISELeaks: Information Leakage Assessment of Cryptographic Instruction Set Extension Prototypes. IACR Cryptol. ePrint Arch. 2024 (2024)
Hansika Weerasena, Prabhat Mishra
Security of Electrical, Optical, and Wireless On-chip Interconnects: A Survey. ACM Trans. Design Autom. Electr. Syst. 29 (2) (2024)
Daniel Volya, Andrey Nikitin, Prabhat Mishra
Fast Quantum Process Tomography via Riemannian Gradient Descent. CoRR (2024)
Aruna Jayasena, Prabhat Mishra
Directed Test Generation for Hardware Validation: A Survey. ACM Comput. Surv. 56 (5) (2024)
Hasini Witharana, Aruna Jayasena, Prabhat Mishra
Incremental Concolic Testing of Register-Transfer Level Designs. ACM Trans. Design Autom. Electr. Syst. 29 (3) (2024)
Daniel Volya, Tao Zhang, Nashmin Alam, Mark M. Tehranipoor, Prabhat Mishra
Towards Secure Classical-Quantum Systems. HOST (2023)
Khushboo Rani, Hansika Weerasena, Stephen A. Butler, Subodha Charles, Prabhat Mishra
Modeling and Exploration of Gain Competition Attacks in Optical Network-on-Chip Architectures. CoRR (2023)
Meenu Rani Dey, Moumita Patra, Prabhat Mishra
Efficient Detection and Localization of DoS Attacks in Heterogeneous Vehicular Networks. IEEE Trans. Veh. Technol. 72 (5) (2023)
Daniel Volya, Prabhat Mishra
Quantum Steering of Surface Error Correcting Codes. QCE (2023)
Hansika Weerasena, Prabhat Mishra
Revealing CNN Architectures via Side-Channel Analysis in Dataflow-based Inference Accelerators. CoRR (2023)
Hansika Weerasena, Zhixin Pan, Khushboo Rani, Prabhat Mishra
Breaking NoC Anonymity using Flow Correlation Attack. CoRR (2023)
Hasini Witharana, Daniel Volya, Prabhat Mishra
quAssert: Automatic Generation of Quantum Assertions. CoRR (2023)
Zachery Utt, Daniel Volya, Prabhat Mishra
Quantum Measurement Discrimination using Cumulative Distribution Functions. DATE (2023)
Zhixin Pan, Prabhat Mishra
Hardware Acceleration of Explainable Artificial Intelligence. CoRR (2023)
Hasini Witharana, Sahan Sanjaya, Prabhat Mishra
Dynamic Refinement of Hardware Assertion Checkers. DATE (2023)
Daniel Volya, Zhixin Pan, Prabhat Mishra
Feedback-Based Steering for Quantum State Preparation. QCE (2023)
Aruna Jayasena, Emma Andrews, Prabhat Mishra
TVLA*: Test Vector Leakage Assessment on Hardware Implementations of Asymmetric Cryptography Algorithms. IEEE Trans. Very Large Scale Integr. Syst. 31 (9) (2023)
Hasini Witharana, Aruna Jayasena, Andrew Whigham, Prabhat Mishra
Automated Generation of Security Assertions for RTL Models. ACM J. Emerg. Technol. Comput. Syst. 19 (1) (2023)
Daniel Volya, Prabhat Mishra
QudCom: Towards Quantum Compilation for Qudit Systems. CoRR (2023)
Aruna Jayasena, Prabhat Mishra
DETER: Design for Trust utilizing Rareness Reduction. CoRR (2023)
Aruna Jayasena, Prabhat Mishra
HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction. CoRR (2023)
Hasini Witharana, Aruna Jayasena, Prabhat Mishra
Sequence-Based Incremental Concolic Testing of RTL Models. CoRR (2023)
Zhixin Pan, Prabhat Mishra
Hardware Trojan Detection Using Shapley Ensemble Boosting. ASP-DAC (2023)
Yuntao Liu, Aruna Jayasena, Prabhat Mishra, Ankur Srivastava
Logic Locking based Trojans: A Friend Turns Foe. CoRR (2023)
Aruna Jayasena, Prabhat Mishra
Scalable Detection of Hardware Trojans Using ATPG-Based Activation of Rare Events. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (12) (2023)
Subodha Charles, Prabhat Mishra
Lightweight Encryption and Anonymous Routing in NoC based SoCs. CoRR (2023)
Hansika Weerasena, Prabhat Mishra
Security of Electrical, Optical and Wireless On-Chip Interconnects: A Survey. CoRR (2023)
Daniel Volya, Prabhat Mishra
Quantum Data Compression for Efficient Generation of Control Pulses. ASP-DAC (2023)
Zhixin Pan, Jennifer Sheldon, Prabhat Mishra
Hardware-Assisted Malware Detection and Localization Using Explainable Machine Learning. IEEE Trans. Computers 71 (12) (2022)
Daniel Volya, Prabhat Mishra
Modeling of Noisy Quantum Circuits using Random Matrix Theory. ICCD (2022)
Zhixin Pan, Prabhat Mishra
Design of AI Trojans for Evading Machine Learning-based Detection of Hardware Trojans. DATE (2022)
Zhixin Pan, Prabhat Mishra
A Survey on Hardware Vulnerability Analysis Using Machine Learning. IEEE Access 10 (2022)
Priyanka Panigrahi, Vemuri Sahithya, Chandan Karfa, Prabhat Mishra
Secure Register Allocation for Trusted Code Generation. IEEE Embed. Syst. Lett. 14 (3) (2022)
Zhixin Pan, Prabhat Mishra
Backdoor Attacks on Bayesian Neural Networks using Reverse Distribution. CoRR (2022)
Aruna Jayasena, Khushboo Rani, Prabhat Mishra
Efficient Finite State Machine Encoding for Defending Against Laser Fault Injection Attacks. ICCD (2022)
Aisharjya Sarkar, Prabhat Mishra, Tamer Kahveci
Data Perturbation and Recovery of Time Series Gene Expression Data. IEEE ACM Trans. Comput. Biol. Bioinform. 19 (2) (2022)
Chamika Sudusinghe, Subodha Charles, Sapumal Ahangama, Prabhat Mishra
Eavesdropping Attack Detection Using Machine Learning in Network-on-Chip Architectures. IEEE Des. Test 39 (6) (2022)
Hasini Witharana, Yangdi Lyu, Subodha Charles, Prabhat Mishra
A Survey on Assertion-based Hardware Verification. ACM Comput. Surv. 54 (11s) (2022)
Aruna Jayasena, Binod Kumar, Subodha Charles, Hasini Witharana, Prabhat Mishra
Network-on-Chip Trust Validation Using Security Assertions. J. Hardw. Syst. Secur. 6 (3-4) (2022)
Zhixin Pan, Prabhat Mishra
Hardware Acceleration of Explainable Machine Learning. DATE (2022)
Subodha Charles, Vincent Bindschaedler, Prabhat Mishra
Digital Watermarking for Detecting Malicious Intellectual Property Cores in NoC Architectures. IEEE Trans. Very Large Scale Integr. Syst. 30 (7) (2022)
Hasini Witharana, Prabhat Mishra
Speculative Load Forwarding Attack on Modern Processors. ICCAD (2022)
Zhixin Pan, Prabhat Mishra
Hardware Acceleration of Explainable Machine Learning using Tensor Processing Units. CoRR (2021)
Zhixin Pan, Prabhat Mishra
Automated Test Generation for Hardware Trojan Detection using Reinforcement Learning. ASP-DAC (2021)
Chamika Sudusinghe, Subodha Charles, Prabhat Mishra
Denial-of-service attack detection using machine learning in network-on-chip architectures. NOCS (2021)
Yangdi Lyu, Prabhat Mishra
MaxSense: Side-channel Sensitivity Maximization for Trojan Detection Using Statistical Test Patterns. ACM Trans. Design Autom. Electr. Syst. 26 (3) (2021)
Hansika Weerasena, Subodha Charles, Prabhat Mishra
Lightweight Encryption Using Chaffing and Winnowing with All-or-Nothing Transform for Network-on-Chip Architectures. HOST (2021)
Daniel Volya, Prabhat Mishra
Quantum Spectral Clustering of Mixed Graphs. DAC (2021)
Zhixin Pan, Prabhat Mishra
Fast Approximate Spectral Normalization for Robust Deep Neural Networks. CoRR (2021)
Abhijit Das, John Jose, Prabhat Mishra
Data Criticality in Multithreaded Applications: An Insight for Many-Core Systems. IEEE Trans. Very Large Scale Integr. Syst. 29 (9) (2021)
Abhijit Das, John Jose, Prabhat Mishra
Data Criticality in Multi-Threaded Applications: An Insight for Many-Core Systems. CoRR (2021)
Zhixin Pan, Prabhat Mishra
Accelerating Spectral Normalization for Enhancing Robustness of Deep Neural Networks. ISVLSI (2021)
Zhixin Pan, Jennifer Sheldon, Chamika Sudusinghe, Subodha Charles, Prabhat Mishra
Hardware-Assisted Malware Detection using Machine Learning. DATE (2021)
Yangdi Lyu, Prabhat Mishra
Scalable Concolic Testing of RTL Models. IEEE Trans. Computers 70 (7) (2021)
Meenu Rani Dey, Moumita Patra, Prabhat Mishra
Real-Time Detection and Localization of Denial-of-Service Attacks in Heterogeneous Vehicular Networks. DATE (2021)
Hasini Witharana, Yangdi Lyu, Prabhat Mishra
Directed Test Generation for Activation of Security Assertions in RTL Models. ACM Trans. Design Autom. Electr. Syst. 26 (4) (2021)
Zhixin Pan, Prabhat Mishra
Automated Detection of Spectre and Meltdown Attacks Using Explainable Machine Learning. HOST (2021)
Yangdi Lyu, Prabhat Mishra
Scalable Activation of Rare Triggers in Hardware Trojans by Repeated Maximal Clique Sampling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40 (7) (2021)
Subodha Charles, Prabhat Mishra
A Survey of Network-on-Chip Security Attacks and Countermeasures. ACM Comput. Surv. 54 (5) (2021)
Daniel Volya, Prabhat Mishra
Special Session: Impact of Noise on Quantum Algorithms in Noisy Intermediate-Scale Quantum Systems. ICCD (2020)
Yuanwen Huang, Prabhat Mishra
Vulnerability-aware Dynamic Reconfiguration of Partially Protected Caches. ISQED (2020)
Yangdi Lyu, Prabhat Mishra
Automated Test Generation for Trojan Detection using Delay-based Side Channel Analysis. DATE (2020)
Yangdi Lyu, Prabhat Mishra
Automated Test Generation for Activation of Assertions in RTL Models. ASP-DAC (2020)
Yangdi Lyu, Prabhat Mishra
System-on-Chip Security Assertions. CoRR (2020)
Yangdi Lyu, Prabhat Mishra
Automated Trigger Activation by Repeated Maximal Clique Sampling. ASP-DAC (2020)
Zhixin Pan, Jennifer Sheldon, Prabhat Mishra
Hardware-Assisted Malware Detection using Explainable Machine Learning. ICCD (2020)
Zhixin Pan, Jennifer Sheldon, Prabhat Mishra
Test Generation using Reinforcement Learning for Delay-based Side-Channel Analysis. ICCAD (2020)
Subodha Charles, Prabhat Mishra
Securing Network-on-Chip Using Incremental Cryptography. ISVLSI (2020)
Subodha Charles, Prabhat Mishra
Reconfigurable Network-on-Chip Security Architecture. ACM Trans. Design Autom. Electr. Syst. 25 (6) (2020)
Subodha Charles, Prabhat Mishra
Lightweight and Trust-Aware Routing in NoC-Based SoCs. ISVLSI (2020)
Subodha Charles, Yangdi Lyu, Prabhat Mishra
Real-Time Detection and Localization of Distributed DoS Attacks in NoC-Based SoCs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (12) (2020)
R. Manju, Abhijit Das, John Jose, Prabhat Mishra
SECTAR: Secure NoC using Trojan Aware Routing. NOCS (2020)
Subodha Charles, Megan Logan, Prabhat Mishra
Lightweight Anonymous Routing in NoC based SoCs. DATE (2020)
Kamran Rahmani, Prabhat Mishra
Feature-Based Signal Selection for Post-Silicon Debug Using Machine Learning. IEEE Trans. Emerg. Top. Comput. 8 (4) (2020)
Farimah Farahmandi, Prabhat Mishra
Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits. IEEE Trans. Computers 68 (2) (2019)
Yangdi Lyu, Xiaoke Qin, Mingsong Chen, Prabhat Mishra
Directed Test Generation for Validation of Cache Coherence Protocols. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (1) (2019)
Yangdi Lyu, Alif Ahmed, Prabhat Mishra
Automated Activation of Multiple Targets in RTL Models using Concolic Testing. DATE (2019)
Yangdi Lyu, Prabhat Mishra
Efficient Test Generation for Trojan Detection using Side Channel Analysis. DATE (2019)
Subodha Charles, Alif Ahmed, Ümit Y. Ogras, Prabhat Mishra
Efficient Cache Reconfiguration Using Machine Learning in NoC-Based Many-Core CMPs. ACM Trans. Design Autom. Electr. Syst. 24 (6) (2019)
Massimo Alioto, Magdy S. Abadir, Tughrul Arslan, Chirn Chye Boon, Andreas Burg, Chip-Hong Chang, Meng-Fan Chang, Yao-Wen Chang, Poki Chen, Pasquale Corsonello, Paolo Crovetti, Shiro Dosho, Rolf Drechsler, Ibrahim Abe M. Elfadel, Ruonan Han, Masanori Hashimoto, Chun-Huat Heng, Deukhyoun Heo, Tsung-Yi Ho, Houman Homayoun, Yuh-Shyan Hwang, Ajay Joshi, Rajiv V. Joshi, Tanay Karnik, Chulwoo Kim, Tony Tae-Hyoung Kim, Jaydeep Kulkarni, Volkan Kursun, Yoonmyung Lee, Hai Helen Li, Huawei Li, Prabhat Mishra, Baker Mohammad, Mehran Mozaffari Kermani, Makoto Nagata, Koji Nii, Partha Pratim Pande, Bipul C. Paul, Vasilis F. Pavlidis, José Pineda de Gyvez, Ioannis Savidis, Patrick Schaumont, Fabio Sebastiano, Anirban Sengupta, Mingoo Seok, Mircea R. Stan, Mark M. Tehranipoor, Aida Todri-Sanial, Marian Verhelst, Valerio Vignoli, Xiaoqing Wen, Jiang Xu, Wei Zhang, Zhengya Zhang, Jun Zhou, Mark Zwolinski, Stacey Weber
Editorial TVLSI Positioning - Continuing and Accelerating an Upward Trajectory. IEEE Trans. Very Large Scale Integr. Syst. 27 (2) (2019)
Adib Nahiyan, Farimah Farahmandi, Prabhat Mishra, Domenic Forte, Mark M. Tehranipoor
Security-Aware FSM Design Flow for Identifying and Mitigating Vulnerabilities to Fault Attacks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (6) (2019)
Prabhat Mishra, Debdeep Mukhopadhyay, Swarup Bhunia
Guest Editorial: Special Section on Autonomous Intelligence for Security and Privacy Analytics. IEEE Trans. Very Large Scale Integr. Syst. 27 (12) (2019)
Alif Ahmed, Yuanwen Huang, Prabhat Mishra
Cache Reconfiguration Using Machine Learning for Vulnerability-aware Energy Optimization. ACM Trans. Embed. Comput. Syst. 18 (2) (2019)
Subodha Charles, Yangdi Lyu, Prabhat Mishra
Real-time Detection and Localization of DoS Attacks in NoC based SoCs. DATE (2019)
Yuanwen Huang, Prabhat Mishra
Vulnerability-Aware Energy Optimization for Reconfigurable Caches in Multitasking Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (5) (2019)
Jonathan Cruz, Prabhat Mishra, Swarup Bhunia
The Metric Matters: The Art of Measuring Trust in Electronics. DAC (2019)
Jonathan Cruz, Yuanwen Huang, Prabhat Mishra, Swarup Bhunia
An automated configurable Trojan insertion framework for dynamic trust benchmarks. DATE (2018)
Jonathan Cruz, Farimah Farahmandi, Alif Ahmed, Prabhat Mishra
Hardware Trojan Detection Using ATPG and Model Checking. VLSI Design (2018)
Yangdi Lyu, Prabhat Mishra
A Survey of Side-Channel Attacks on Caches and Countermeasures. J. Hardw. Syst. Secur. 2 (1) (2018)
Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra
Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution. ITC (2018)
Alif Ahmed, Farimah Farahmandi, Prabhat Mishra
Directed test generation using concolic testing on RTL models. DATE (2018)

Prabhat Mishra.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Prabhat Mishra