activity
20232026
most citedHIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction

9 citations · 16 across the 9 of their papers we have counts for

collaborators
Showing cs.CRShow all

7 papers · 1 filter

cs.CR2026

SysFuSS: System-Level Firmware Fuzzing with Selective Symbolic Execution

Dakshina Tharindu, Aruna Jayasena, Prabhat Mishra

Firmware serves as the critical interface between hardware and software in computing systems, making any bugs or vulnerabilities particularly dangerous as they can cause catastroph…

cs.CR2025

Application-Specific Power Side-Channel Attacks and Countermeasures: A Survey

Sahan Sanjaya, Aruna Jayasena, Prabhat Mishra

Side-channel attacks try to extract secret information from a system by analyzing different side-channel signatures, such as power consumption, electromagnetic emanation, thermal d…

cs.CR2025

Towards a Functionally Complete and Parameterizable TFHE Processor

Valentin Reyes Häusler, Gabriel Ott, Aruna Jayasena +1

Fully homomorphic encryption allows the evaluation of arbitrary functions on encrypted data. It can be leveraged to secure outsourced and multiparty computation. TFHE is a fast tor…

cs.CR2025

SleepWalk: Exploiting Context Switching and Residual Power for Physical Side-Channel Attacks

Sahan Sanjaya, Aruna Jayasena, Prabhat Mishra

Context switching is utilized by operating systems to change the execution context between application programs. It involves saving and restoring the states of multiple registers a…

cs.CR2024★ 3 cited

Information Leakage through Physical Layer Supply Voltage Coupling Vulnerability

Sahan Sanjaya, Aruna Jayasena, Prabhat Mishra

Side-channel attacks exploit variations in non-functional behaviors to expose sensitive information across security boundaries. Existing methods leverage side-channels based on pow…

cs.CR2023

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…

cs.CR2023★ 1 cited

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…