Power Analysis Attack Against post-SAT Logic Locking schemes.
Nassim RiadiFlorent BruguierPascal BenoitSophie DupuisMarie-Lise FlottesPublished in: ETS (2024)
Keyphrases
- power analysis
- differential power analysis
- countermeasures
- smart card
- optimistic concurrency control
- block cipher
- database systems
- sat solvers
- propositional satisfiability
- elliptic curve
- automated reasoning
- satisfiability problem
- concurrency control
- sat problem
- data objects
- logic programming
- phase transition
- information security
- search algorithm