Prabhat Mishra
Scholar

Prabhat Mishra

Google Scholar ID: ZlhpUZoAAAAJ
Professor, Univ. of Florida, IEEE Fellow, AAAS Fellow, ACM Distinguished Member
Hardware VerificationEmbedded SystemsHardware SecurityQuantum Computing
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
4,219
 
H-index
35
 
i10-index
102
 
Publications
20
 
Co-authors
83
list available
Contact
No contact links provided.
Publications
12 items
Formal Verification of Secure Encrypted Virtualization
2026
Cited
0
Quantum Interval Bound Propagation for Certified Training of Quantum Neural Networks
2026
Cited
0
Efficient Mutation Testing of Quantum Machine Learning Models
2026
Cited
0
Defending Quantum Classifiers against Adversarial Perturbations through Quantum Autoencoders
2026
Cited
0
Sleep Reveals the Nonce: Breaking ECDSA using Sleep-Based Power Side-Channel Vulnerability
2026
Cited
0
SysFuSS: System-Level Firmware Fuzzing with Selective Symbolic Execution
2026
Cited
0
Secure Multi-Path Routing with All-or-Nothing Transform for Network-on-Chip Architectures
2026
Cited
0
Quantum Masked Autoencoders for Vision Learning
2025
Cited
0
Resume (English only)
Co-authors
83 total
Nikil Dutt
Nikil Dutt
Distinguished Professor, CS, EECS & Cognitive Sciences, University of California, Irvine
Farimah Farahmandi
Farimah Farahmandi
Assistant Professor, University of Florida
Zhixin Pan
Zhixin Pan
University of Florida
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Mingsong Chen
Mingsong Chen
Software Engineering Institute, East China Normal University
Co-author 8
Co-author 8