Takhar, Gourav
- HOLL: Program Synthesis for Higher OrderLogic Locking
2022/01/25 by Gourav Takhar, Takhar, Gourav, Ramesh Karri +5 · 1 citation
Computer Science · Engineering · #Cryptographic Implementations and Security #Cryptography and Security (cs.CR) #Electrostatic Discharge in Electronics #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Physical Unclonable Functions (PUFs) and Hardware Security