Logic Locking - Connecting Theory and Practice.
Elisaweta MasserovaDeepali GargKen MaiLawrence T. PileggiVipul GoyalBryan ParnoPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- formal theory
- computer algebra
- proof theory
- theoretical insights
- set theory
- asynchronous circuits
- commonsense reasoning
- theoretical framework
- logic programming
- fine granularity
- boolean algebra
- genetic algorithm
- real world
- concurrency control
- probability theory
- causal reasoning
- data sets
- computational model
- database systems
- proof theoretic