Secure Path Balanced BDD-Based Pre-Charge Logic for Masking.

Partha De Udaya Parampalli Chittaranjan Mandal

Published in: IEEE Trans. Circuits Syst. (2020)

Keyphrases

logic programming
binary decision diagrams
proof theory
security mechanisms
authentication scheme
security issues
modal logic
security analysis
security protocols
authentication protocol
lightweight
boolean functions
endpoints
classical logic
security level
human visual system
privacy preserving