29 citations · 29 across the 6 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
Controller Datapath Aware Verification of Masked Hardware Generated via High Level Synthesis
Nilotpola Sarma, Vaishali Ghanshyam Chaudhuri, Chandan Karfa
Masking is a countermeasure against Power Side Channel Attacks (PSCAs) in both software and hardware implementations of cryptographic algorithms. Compared to software masking, impl…
cs.CR2020★ 29 cited
Benchmarking at the Frontier of Hardware Security: Lessons from Logic Locking
Benjamin Tan, Ramesh Karri, Nimisha Limaye +33
Integrated circuits (ICs) are the foundation of all computing systems. They comprise high-value hardware intellectual property (IP) that are at risk of piracy, reverse-engineering,…