2 papers
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.CR2024
MaskedHLS: Domain-Specific High-Level Synthesis of Masked Cryptographic Designs
Nilotpola Sarma, Anuj Singh Thakur, Chandan Karfa
The design and synthesis of masked cryptographic hardware implementations that are secure against power side-channel attacks (PSCAs) in the presence of glitches is a challenging ta…