Search Results - "Khattri, Hareesh"

Verifying information flow properties of firmware using symbolic execution by Subramanyan, Pramod, Malik, Sharad, Khattri, Hareesh, Maiti, Abhranil, Fung, Jason

“…Verifying security requirements of the firmware in contemporary system-on-chip (SoC) designs is a critical challenge. There are two main difficulties in…”
Get full text

Multiple-output low-power linear feedback shift register design by Katti, R.S., Xiaoyu Ruan, Khattri, H.

“…In this paper, we present a new low-power architecture for linear feedback shift registers (LFSRs) that produces the output of several clock cycles of a serial…”
Get full text

When a Patch is Not Enough - HardFails: Software-Exploitable Hardware Bugs by Dessouky, Ghada, Gens, David, Haney, Patrick, Persyn, Garrett, Kanuparthi, Arun, Khattri, Hareesh, Fung, Jason M, Sadeghi, Ahmad-Reza, Rajendran, Jeyavijayan

“…In this paper, we take a deep dive into microarchitectural security from a hardware designer's perspective by reviewing the existing approaches to detect…”
Get full text

Did we learn from LLC Side Channel Attacks? A Cache Leakage Detection Tool for Crypto Libraries by Irazoqui, Gorka, Cong, Kai, Guo, Xiaofei, Khattri, Hareesh, Kanuparthi, Arun, Eisenbarth, Thomas, Sunar, Berk

“…This work presents a new tool to verify the correctness of cryptographic implementations with respect to cache attacks. Our methodology discovers…”
Get full text

HSDL: A Security Development Lifecycle for hardware technologies by Khattri, H., Mangipudi, N. K. V., Mandujano, S.

“…Security assurance is a rapidly evolving but well understood discipline in the software industry. Many firms have adopted the Security Development Lifecycle as…”
Get full text