9 citations · 16 across the 9 of their papers we have counts for
4 papers · 1 filter
TroLL: Exploiting Structural Similarities between Logic Locking and Hardware Trojans
Yuntao Liu, Aruna Jayasena, Prabhat Mishra +1
Logic locking and hardware Trojans are two fields in hardware security that have been mostly developed independently from each other. In this paper, we identify the relationship be…
HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
Aruna Jayasena, Prabhat Mishra
Hardware-firmware co-verification is critical to design trustworthy systems. While formal methods can provide verification guarantees, due to the complexity of firmware and hardwar…
Sequence-Based Incremental Concolic Testing of RTL Models
Hasini Witharana, Aruna Jayasena, Prabhat Mishra
Concolic testing is a scalable solution for automated generation of directed tests for validation of hardware designs. Unfortunately, concolic testing also fails to cover complex c…
Design for Trust utilizing Rareness Reduction
Aruna Jayasena, Prabhat Mishra
Increasing design complexity and reduced time-to-market have motivated manufacturers to outsource some parts of the System-on-Chip (SoC) design flow to third-party vendors. This pr…