Hybrid Shielding: Amplifying the Power of Camouflaging and Logic Encryption.

Nikhil Saxena Ranga Vemuri

Published in: IEEE Access (2023)

Keyphrases

power consumption
chip design
logic programs
logic programming
hybrid learning
automated reasoning
classical logic
computational properties
hybrid approaches
database
smart card
image encryption
sound and complete axiomatization