| 2025 | COLING | Random at GenAI Detection Task 3: A Hybrid Approach to Cross-Domain Detection of Machine-Generated Text with Adversarial Attack Mitigation. | Shifali Agrahari, Prabhat Mishra, Sujit Kumar |
| 2025 | DATE | Security Assertions for Trusted Execution Environments. | Hasini Witharana, Hansika Weerasena, Prabhat Mishra |
| 2024 | ASPDAC | QcAssert: Quantum Device Testing with Concurrent Assertions. | Hasini Witharana, Daniel Volya, Prabhat Mishra |
| 2024 | DATE | EvilCS: An Evaluation of Information Leakage through Context Switching on Security Enclaves. | Aruna Jayasena, Richard Bachmann, Prabhat Mishra |
| 2024 | QCE | Variational Quantum Algorithms via Measurement-Induced Passive Steering. | Sahan Sanjaya, Daniel Volya, Prabhat Mishra |
| 2024 | QCE | Quantum Benchmarking via Random Dynamical Quantum Maps. | Daniel Volya, Prabhat Mishra |
| 2024 | QCE | Fast Quantum Characterization via Riemannian Optimization. | Daniel Volya, Andrey Nikitin, Prabhat Mishra |
| 2024 | VLSID | Design for Trust Utilizing Rareness Reduction. | Aruna Jayasena, Prabhat Mishra |
| 2023 | ASPDAC | Hardware Trojan Detection Using Shapley Ensemble Boosting. | Zhixin Pan, Prabhat Mishra |
| 2023 | ASPDAC | Quantum Data Compression for Efficient Generation of Control Pulses. | Daniel Volya, Prabhat Mishra |
| 2023 | DATE | Quantum Measurement Discrimination using Cumulative Distribution Functions. | Zachery Utt, Daniel Volya, Prabhat Mishra |
| 2023 | DATE | Dynamic Refinement of Hardware Assertion Checkers. | Hasini Witharana, Sahan Sanjaya, Prabhat Mishra |
| 2023 | QCE | Quantum Steering of Surface Error Correcting Codes. | Daniel Volya, Prabhat Mishra |
| 2023 | QCE | Feedback-Based Steering for Quantum State Preparation. | Daniel Volya, Zhixin Pan, Prabhat Mishra |
| 2022 | DATE | Design of AI Trojans for Evading Machine Learning-based Detection of Hardware Trojans. | Zhixin Pan, Prabhat Mishra |
| 2022 | DATE | Hardware Acceleration of Explainable Machine Learning. | Zhixin Pan, Prabhat Mishra |
| 2022 | ICCAD | Speculative Load Forwarding Attack on Modern Processors. | Hasini Witharana, Prabhat Mishra |
| 2022 | ICCD | Efficient Finite State Machine Encoding for Defending Against Laser Fault Injection Attacks. | Aruna Jayasena, Khushboo Rani, Prabhat Mishra |
| 2022 | ICCD | Modeling of Noisy Quantum Circuits using Random Matrix Theory. | Daniel Volya, Prabhat Mishra |
| 2021 | ASPDAC | Automated Test Generation for Hardware Trojan Detection using Reinforcement Learning. | Zhixin Pan, Prabhat Mishra |
| 2021 | DAC | Quantum Spectral Clustering of Mixed Graphs. | Daniel Volya, Prabhat Mishra |
| 2021 | DATE | Real-Time Detection and Localization of Denial-of-Service Attacks in Heterogeneous Vehicular Networks. | Meenu Rani Dey, Moumita Patra, Prabhat Mishra |
| 2021 | DATE | Hardware-Assisted Malware Detection using Machine Learning. | Zhixin Pan, Jennifer Sheldon, Chamika Sudusinghe, Subodha Charles, Prabhat Mishra |
| 2020 | ASPDAC | Automated Test Generation for Activation of Assertions in RTL Models. | Yangdi Lyu, Prabhat Mishra |
| 2020 | ASPDAC | Automated Trigger Activation by Repeated Maximal Clique Sampling. | Yangdi Lyu, Prabhat Mishra |
| 2020 | DATE | Lightweight Anonymous Routing in NoC based SoCs. | Subodha Charles, Megan Logan, Prabhat Mishra |
| 2020 | DATE | Automated Test Generation for Trojan Detection using Delay-based Side Channel Analysis. | Yangdi Lyu, Prabhat Mishra |
| 2020 | ICCAD | Test Generation using Reinforcement Learning for Delay-based Side-Channel Analysis. | Zhixin Pan, Jennifer Sheldon, Prabhat Mishra |
| 2020 | ICCD | Hardware-Assisted Malware Detection using Explainable Machine Learning. | Zhixin Pan, Jennifer Sheldon, Prabhat Mishra |
| 2020 | ICCD | Special Session: Impact of Noise on Quantum Algorithms in Noisy Intermediate-Scale Quantum Systems. | Daniel Volya, Prabhat Mishra |
| 2019 | DAC | The Metric Matters: The Art of Measuring Trust in Electronics. | Jonathan Cruz, Prabhat Mishra, Swarup Bhunia |
| 2019 | DATE | Real-time Detection and Localization of DoS Attacks in NoC based SoCs. | Subodha Charles, Yangdi Lyu, Prabhat Mishra |
| 2019 | DATE | Automated Activation of Multiple Targets in RTL Models using Concolic Testing. | Yangdi Lyu, Alif Ahmed, Prabhat Mishra |
| 2019 | DATE | Efficient Test Generation for Trojan Detection using Side Channel Analysis. | Yangdi Lyu, Prabhat Mishra |
| 2018 | DATE | Directed test generation using concolic testing on RTL models. | Alif Ahmed, Farimah Farahmandi, Prabhat Mishra |
| 2018 | DATE | An automated configurable Trojan insertion framework for dynamic trust benchmarks. | Jonathan Cruz, Yuanwen Huang, Prabhat Mishra, Swarup Bhunia |
| 2018 | ITC | Scalable Hardware Trojan Activation by Interleaving Concrete Simulation and Symbolic Execution. | Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra |
| 2018 | VLSID | Hardware Trojan Detection Using ATPG and Model Checking. | Jonathan Cruz, Farimah Farahmandi, Alif Ahmed, Prabhat Mishra |
| 2017 | ASPDAC | Trojan localization using symbolic algebra. | Farimah Farahmandi, Yuanwen Huang, Prabhat Mishra |
| 2017 | DATE | Cost-effective analysis of post-silicon functional coverage events. | Farimah Farahmandi, Ronny Morad, Avi Ziv, Ziv Nevo, Prabhat Mishra |
| 2017 | ICCD | QUEBS: Qualifying Event Based Search in Concolic Testing for Validation of RTL Models. | Alif Ahmed, Prabhat Mishra |
| 2017 | ICCD | Automated Debugging of Arithmetic Circuits Using Incremental Grbner Basis Reduction. | Farimah Farahmandi, Prabhat Mishra |
| 2017 | ICCD | FSM Anomaly Detection Using Formal Analysis. | Farimah Farahmandi, Prabhat Mishra |
| 2017 | ICCD | Vulnerability-Aware Energy Optimization Using Reconfigurable Caches in Multicore Systems. | Yuanwen Huang, Prabhat Mishra |
| 2016 | CCS | MERS: Statistical Test Generation for Side-Channel Analysis based Trojan Detection. | Yuanwen Huang, Swarup Bhunia, Prabhat Mishra |
| 2016 | DATE | Automated test generation for Debugging arithmetic circuits. | Farimah Farahmandi, Prabhat Mishra |
| 2016 | DATE | Exploiting transaction level models for observability-aware post-silicon test generation. | Farimah Farahmandi, Prabhat Mishra, Sandip Ray |
| 2016 | VLSID | Test Generation for Hybrid Systems Using Clustering and Learning Techniques. | Sudhi Proch, Prabhat Mishra |
| 2015 | DAC | Pre-silicon security verification and validation: a formal perspective. | Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Farimah Farahmandi, Prabhat Mishra |
| 2015 | DATE | Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking. | Mingsong Chen, Daian Yue, Xiaoke Qin, Xin Fu, Prabhat Mishra |
| 2015 | VLSID | Efficient Peak Power Estimation Using Probabilistic Cost-Benefit Analysis. | Hadi Hajimiri, Kamran Rahmani, Prabhat Mishra |
| 2015 | VLSID | Tutorial T2: Validation and Debug of Security and Trust Issues in Embedded Systems. | Prabhat Mishra, Swarup Bhunia, Srivaths Ravi |
| 2014 | VLSID | Scalable Test Generation by Interleaving Concrete and Symbolic Execution. | Xiaoke Qin, Prabhat Mishra |
| 2014 | VLSID | TECS: Temperature- and Energy-Constrained Scheduling for Multicore Systems. | Xiaoke Qin, Prabhat Mishra |
| 2013 | ICCD | Scalable trace signal selection using machine learning. | Kamran Rahmani, Prabhat Mishra, Sandip Ray |
| 2013 | VLSID | Observability-aware Directed Test Generation for Soft Errors and Crosstalk Faults. | Kanad Basu, Prabhat Mishra, Priyadarsan Patra |
| 2013 | VLSID | Assertion-Based Functional Consistency Checking between TLM and RTL Models. | Mingsong Chen, Prabhat Mishra |
| 2013 | VLSID | Dynamic Cache Tuning for Efficient Memory Based Computing in Multicore Architectures. | Hadi Hajimiri, Prabhat Mishra, Swarup Bhunia |
| 2013 | VLSID | Tutorial T10: Post - Silicon Validation, Debug and Diagnosis. | Prabhat Mishra, Masahiro Fujita, Virendra Singh, Nagesh Tamarapalli, Sharad Kumar, Rajesh Mittal |
| 2013 | VLSID | Efficient Signal Selection Using Fine-grained Combination of Scan and Trace Buffers. | Kamran Rahmani, Prabhat Mishra |
| 2012 | DATE | Automated generation of directed tests for transition coverage in cache coherence protocols. | Xiaoke Qin, Prabhat Mishra |
| 2012 | VLSID | Intra-Task Dynamic Cache Reconfiguration. | Hadi Hajimiri, Prabhat Mishra |
| 2012 | VLSID | Temperature-aware Task Partitioning for Real-Time Scheduling in Embedded Systems. | Zhe Wang, Sanjay Ranka, Prabhat Mishra |
| 2011 | DAC | Dynamic cache reconfiguration and partitioning for energy optimization in real-time multi-core systems. | Weixun Wang, Prabhat Mishra, Sanjay Ranka |
| 2011 | DATE | Decision ordering based property decomposition for functional test generation. | Mingsong Chen, Prabhat Mishra |
| 2011 | ITC | Efficient combination of trace and scan signals for post silicon validation and debug. | Kanad Basu, Prabhat Mishra, Priyadarsan Patra |
| 2011 | VLSID | Efficient Trace Signal Selection for Post Silicon Validation and Debug. | Kanad Basu, Prabhat Mishra |
| 2011 | VLSID | Dual Code Compression for Embedded Systems. | Kartik Shrivastava, Prabhat Mishra |
| 2011 | VLSID | A General Algorithm for Energy-Aware Dynamic Reconfiguration in Multitasking Systems. | Weixun Wang, Sanjay Ranka, Prabhat Mishra |
| 2011 | VTS | Efficient trace data compression using statically selected dictionary. | Kanad Basu, Prabhat Mishra |
| 2010 | DAC | PreDVS: preemptive dynamic voltage scaling for real-time systems using approximation scheme. | Weixun Wang, Prabhat Mishra |
| 2010 | DATE | Efficient decision ordering techniques for SAT-based test generation. | Mingsong Chen, Xiaoke Qin, Prabhat Mishra |
| 2010 | ISLPED | Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach. | Weixun Wang, Xiaoke Qin, Prabhat Mishra |
| 2010 | VLSID | Synchronized Generation of Directed Tests Using Satisfiability Solving. | Xiaoke Qin, Mingsong Chen, Prabhat Mishra |
| 2010 | VLSID | Leakage-Aware Energy Minimization Using Dynamic Voltage Scaling and Cache Reconfiguration in Real-Time Systems. | Weixun Wang, Prabhat Mishra |
| 2009 | DAC | Generating test programs to cover pipeline interactions. | Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra |
| 2009 | VLSID | Efficient Techniques for Directed Test Generation Using Incremental Satisfiability. | Prabhat Mishra, Mingsong Chen |
| 2009 | VLSID | Efficient Placement of Compressed Code for Parallel Decompression. | Xiaoke Qin, Prabhat Mishra |
| 2009 | VLSID | SACR: Scheduling-Aware Cache Reconfiguration for Real-Time Embedded Systems. | Weixun Wang, Prabhat Mishra, Ann Gordon-Ross |
| 2007 | ASPDAC | A Retargetable Software Timing Analyzer Using Architecture Description Language. | Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra, Xu Cheng |
| 2007 | DATE | An efficient code compression technique using application-aware bitmask and dictionary selection methods. | Seok-Won Seong, Prabhat Mishra |
| 2006 | DATE | Functional test generation using property decompositions for validation of pipelined processors. | Heon-Mo Koo, Prabhat Mishra |
| 2006 | ICCAD | A bitmask-based code compression technique for embedded systems. | Seok-Won Seong, Prabhat Mishra |
| 2005 | DATE | Functional Coverage Driven Test Generation for Validation of Pipelined Processors. | Prabhat Mishra, Nikil D. Dutt |
| 2004 | DATE | Graph-Based Functional Test Program Generation for Pipelined Processors. | Prabhat Mishra, Nikil D. Dutt |
| 2004 | DSD | Functional Validation of Programmable Architectures. | Prabhat Mishra, Nikil D. Dutt |
| 2004 | VLSID | Synthesis-driven Exploration of Pipelined Embedded Processors. | Prabhat Mishra, Arun Kejariwal, Nikil D. Dutt |
| 2003 | DAC | Instruction set compiled simulation: a technique for fast and flexible instruction set simulation. | Mehrdad Reshadi, Prabhat Mishra, Nikil D. Dutt |
| 2003 | RSP | Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models. | Prabhat Mishra, Arun Kejariwal, Nikil D. Dutt |
| 2002 | DATE | Automatic Verification of In-Order Execution In Microprocessors with Fragmented Pipelines and Multicycle Functional Units. | Prabhat Mishra, Nikil D. Dutt, Alexandru Nicolau, Hiroyuki Tomiyama |
| 2002 | VLSID | Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language. | Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, Peter Grun, Nikil D. Dutt, Alexandru Nicolau |
| 2001 | VLSID | Processor-Memory Co-Exploration driven by a Memory-Aware Architecture Description Language. | Prabhat Mishra, Peter Grun, Nikil D. Dutt, Alexandru Nicolau |