logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
P

Prabhat Mishra

university of florida

42H-index
410Paper Count
6.3KCitation Count
Published Papers 28
Publication Date
logo
FuSS: Coverage-Directed Hardware Fuzzing with Selective Symbolic Execution
errACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF2.6
err2025-09-01
err0
PREAI
errJayasena, Aruna; Nallapaneni, Sai Suprabhanu; Mishra, Prabhat
errShare
errSave
TroLL: Exploiting Structural Similarities Between Logic Locking and Hardware Trojans
errIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IF2.9
err2025-08-20
err0
PREAI
errYuntao Liu; Aruna Jayasena; Prabhat Mishra; Ankur Srivastava
errShare
errSave
Formal verification of bioinformatics software using model checking and theorem proving
errBRIEFINGS IN BIOINFORMATICS
IF7.7
err2025-07-01
err0
errOAAI
errWeerasena, Hansika; Jayasena, Aruna; Boucher, Christina; Mishra, Prabhat
errShare
errSave
AI Trojan Attack for Evading Machine Learning-Based Detection of Hardware Trojans
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2025-03-01
err1
PREAI
errPan, Zhixin; Mishra, Prabhat
errShare
errSave
FirmWall: Directed Symbolic Execution of Firmware Binaries for Defending Against Unauthorized System Calls
errIEEE Transactions on Information Forensics and Security
IF8
err2025-01-01
err0
PREAI
errAruna Jayasena; Prabhat Mishra
errShare
errSave
CiseLeaks: Information Leakage Assessment of Cryptographic Instruction Set Extension Prototypes
errIEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY
IF8
err2025-01-01
err0
PREAI
errJayasena, Aruna; Bachmann, Richard; Mishra, Prabhat
errShare
errSave
Quantum Measurement Classification Using Statistical Learning
errACM TRANSACTIONS ON QUANTUM COMPUTING
IF6.8
err2024-04-23
err1
PREAI
errUtt, Zachery; Volya, Daniel; Mishra, Prabhat
errShare
errSave
Directed Test Generation for Hardware Validation: A Survey
errACM COMPUTING SURVEYS
IF28
err2024-01-12
err4
PREAI
errJayasena, Aruna; Mishra, Prabhat
errShare
errSave
Efficient Detection and Localization of DoS Attacks in Heterogeneous Vehicular Networks
errIEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY
IF7.1
err2023-05-01
err9
PREAI
errDey, Meenu Rani; Patra, Moumita; Mishra, Prabhat
errShare
errSave
A Survey on Assertion-based Hardware Verification
errACM COMPUTING SURVEYS
IF28
err2022-09-09
err22
PREAI
errWitharana, Hasini; Lyu, Yangdi; Charles, Subodha; Mishra, Prabhat
errShare
errSave
Data Perturbation and Recovery of Time Series Gene Expression Data
errIEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
IF3.4
err2022-03-01
err0
errOAAI
errSarkar, Aisharjya; Mishra, Prabhat; Kahveci, Tamer
errShare
errSave
A Survey on Hardware Vulnerability Analysis Using Machine Learning
errIEEE ACCESS
IF3.6
err2022-01-01
err7
errOAAI
errPan, Zhixin; Mishra, Prabhat
errShare
errSave
Hardware-Assisted Malware Detection and Localization Using Explainable Machine Learning
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2022-01-01
err19
errOAAI
errPan, Zhixin; Sheldon, Jennifer; Mishra, Prabhat
errShare
errSave
Scalable Concolic Testing of RTL Models
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2021-07-01
err13
errOAAI
errLyu, Yangdi; Mishra, Prabhat
errShare
errSave
A Survey of Network-on-Chip Security Attacks and Countermeasures
errACM COMPUTING SURVEYS
IF28
err2021-05-25
err45
errOAAI
errCharles, Subodha; Mishra, Prabhat
errShare
errSave
Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2019-02-01
err14
PREAI
errFarahmandi, Farimah; Mishra, Prabhat
errShare
errSave
Scalable Test Generation for Trojan Detection Using Side Channel Analysis
errIEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY
IF8
err2018-11-01
err72
errOAAI
errHuang, Yuanwen; Bhunia, Swarup; Mishra, Prabhat
errShare
errSave
Feature-Based Signal Selection for Post-Silicon Debug Using Machine Learning
errIEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING
IF5.4
err2017-01-01
err4
errOAAI
errRahmani, Kamran; Mishra, Prabhat
errShare
errSave
Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2016-07-01
err5
PREAI
errChen, Mingsong; Zhang, Xinqian; Pu, Geguang; Fu, Xin; Mishra, Prabhat
errShare
errSave
Surface modifications of fusion reactor relevant materials on exposure to fusion grade plasma in plasma focus device
errAPPLIED SURFACE SCIENCE
IF6.9
err2015-11-01
err21
PREAI
errNiranjan, Ram; Rout, R. K.; Srivastava, R.; Chakravarthy, Y.; Mishra, P.; Kaushik, T. C.; Gupta, Satish C.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
S
Swarup Bhunia
H-index: 54 · Papers: 599
S
Satish C. Gupta
H-index: 51 · Papers: 330
S
Sanjay Ranka
H-index: 49 · Papers: 614
A
Ankur Srivastava
H-index: 36 · Papers: 340
S
Sandeep K. Shukla
H-index: 34 · Papers: 573
View more