Prabhat Mishra

About

Prabhat Mishra is a Professor in the Department of Computer and Information Science and Engineering at the University of Florida and a UF Research Foundation Professor. His research spans embedded systems, hardware security, energy-aware computing, formal verification, system-on-chip validation, machine learning, and quantum computing. He is the author of 10 books and 42 book chapters, holds 30 patents, and has published more than 250 research articles in leading international journals and conferences. His work has been recognized with numerous honors, including an NSF CAREER Award, an IBM Faculty Award, three Best Paper Awards, eleven Best Paper nominations, and the EDAA Outstanding Dissertation Award. He is a Fellow of the IEEE, a Fellow of the AAAS, and a Distinguished Member of the ACM.

Research topics

• Computer Science
• Computer Security
• Embedded system
• Operating system
• Machine Learning
• Telecommunications
• Parallel computing
• Reliability engineering
• Computer network
• Real-time computing

Selected publications

• A Survey of Network-on-Chip Security Attacks and Countermeasures

  ACM Computing Surveys · 2021 · 92 citations

  Senior authorCorresponding

  With the advances of chip manufacturing technologies, computer architects have been able to integrate an increasing number of processors and other heterogeneous components on the same chip. Network-on-Chip (NoC) is widely employed by multicore System-on-Chip (SoC) architectures to cater to their communication requirements. NoC has received significant attention from both attackers and defenders. The increased usage of NoC and its distributed nature across the chip has made it a focal point of po…

  DOI

• Real-Time Detection and Localization of Distributed DoS Attacks in NoC-Based SoCs

  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2020 · 77 citations

  Senior authorCorresponding

  Network-on-chip (NoC) is widely employed by multicore system-on-chip (SoC) architectures to cater to their communication requirements. Increasing NoC complexity coupled with its widespread usage has made it a focal point of potential security attacks. Distributed denial-of-service (DDoS) is one such attack that is caused by malicious intellectual property (IP) cores flooding the network with unnecessary packets causing significant performance degradation through NoC congestion. In this article,…

  DOI

• Automated Test Generation for Hardware Trojan Detection using Reinforcement Learning

  Proceedings of the 28th Asia and South Pacific Design Automation Conference · 2021 · 76 citations

  Senior authorCorresponding

  Due to globalized semiconductor supply chain, there is an increasing risk of exposing System-on-Chip (SoC) designs to malicious implants, popularly known as hardware Trojans. Unfortunately, traditional simulation-based validation using millions of test vectors is unsuitable for detecting stealthy Trojans with extremely rare trigger conditions due to exponential input space complexity of modern SoCs. There is a critical need to develop efficient Trojan detection techniques to ensure trustworthy S…

  DOI

• Quantum Benchmarking via Random Dynamical Quantum Maps

  2024-09-15 · 6 citations

  articleSenior author

  We present a benchmarking protocol for universal quantum computers, achieved through the simulation of random dynamical quantum maps. This protocol provides a holistic assessment of system-wide error rates, encapsulating both gate inaccuracies and the errors associated with mid-circuit qubit measurements and resets. By employing random quantum circuits and segmenting mid-circuit qubit measurement and reset in a repeated fashion, we steer the system of qubits to an ensemble of steady-states. Thes…

  PublisherDOI

• Fast Quantum Characterization via Riemannian Optimization

  2024-09-15 · 6 citations

  articleSenior author

  Constrained optimization plays a crucial role in the fields of quantum physics and quantum information science and becomes especially challenging for high-dimensional complex structure problems. One specific issue is that of quantum process tomography, in which the goal is to retrieve the underlying quantum process based on a given set of measurement data. In this paper, we introduce a modified version of stochastic gradient descent on a Riemannian manifold that integrates recent advancements in…

  PublisherDOI

Recent grants

• SHF: Small: Design-for-Debug Architecture for Post-Silicon Security Validation

  NSF · $608k · 2019–2024

• SaTC: CORE: Small: Trustworthy System-On-Chip Design using Secure On-Chip Communication Architecture

  NSF · $580k · 2019–2024

• CAREER: New Directions in Functional Verification of Heterogeneous Multicore Architectures

  NSF · $400k · 2008–2014

Frequent coauthors

• Magdy S. Abadir

  Norwegian University of Science and Technology

  2707 shared

• Mark Tehranipoor

  University of Florida

  2706 shared

• Nabil Khaled

  University of South Florida

  2704 shared

• Masanori Hashimoto

  Kyoto University

  2704 shared

• Xiaoqing Wen

  Kyushu Institute of Technology

  2704 shared

• Chirn Chye Boon

  Nanyang Technological University

  2704 shared

• Jos¿ Pineda de Gyvez

  Princeton University

  2704 shared

• Raffaele De

  Drexel University

  2704 shared

Education

• Ph.D., Information and Computer Science

  University of California Irvine

  2004

• M.Tech., Computer Science and Engineering

  Indian Institute of Technology Kharagpur

  1995

• B.E., Computer Science and Engineering

  Jadavpur University

  1994

Awards & honors

• NSF CAREER Award
• IBM Faculty Award
• three Best Paper Awards
• eleven Best Paper nominations
• EDAA Outstanding Dissertation Award

Similar researchers at University of Florida

• Yuanyuan Leih-61
• Sanjay Rankah-50
• Shigang Chenh-50