9 citations · 12 across the 7 of their papers we have counts for
8 papers
Power Side-Channel Membership Inference Attack on Embedded Machine Learning
Sahan Sanjaya, Prabhat Mishra
Membership inference attacks (MIAs) threaten the privacy of machine learning (ML) training data by determining whether a sample was used to train a target model. Existing MIAs rely…
PowerFuzz: Power-Based Black-Box Firmware Fuzzing
Dakshina Tharindu, Sahan Sanjaya, Philip Baptist +1
Fuzzing is widely used for software and hardware verification, offering an effective alternative to random testing. While gray-box fuzzers benefit from full visibility into the sys…
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…
Sleep Reveals the Nonce: Breaking ECDSA using Sleep-Based Power Side-Channel Vulnerability
Sahan Sanjaya, Prabhat Mishra
Security of Elliptic Curve Digital Signature Algorithm (ECDSA) depends on the secrecy of the per-signature nonce. Even partial nonce leakage can expose the long-term private key th…
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…
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…
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…
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…