Corruption Exposes You: Statistical Key Recovery from Compound Logic Locking.

Arshdeep Kaur Sayandeep Saha Chandan Karfa Debdeep Mukhopadhyay

Published in: ISQED (2022)

Keyphrases

logic programming
information theoretic
real time
statistical analysis
concurrency control
automated reasoning
image recovery
learning algorithm
statistical models
hypothesis testing
multi valued
logical framework
truth values
deontic logic
proof theory