Masked Dual-Rail Pre-charge Logic: DPA-Resistance Without Routing Constraints.
Thomas PoppStefan MangardPublished in: CHES (2005)
Keyphrases
- constraint language
- high speed
- modal logic
- derivation rules
- shortest path
- global constraints
- routing problem
- classical logic
- linear constraints
- constraint satisfaction
- neural network
- real time
- constrained optimization
- countermeasures
- constraint programming
- automated reasoning
- cardinality constraints
- logic programming