Scaling Trends for Dual-Rail Logic Styles Against Side-Channel Attacks: A Case-Study.
Kashif NawazDina KamelFrançois-Xavier StandaertDenis FlandrePublished in: COSADE (2017)
Keyphrases
- high speed
- asynchronous circuits
- logic programming
- classical logic
- predicate logic
- smart card
- modal logic
- automated reasoning
- trend detection
- proof theory
- set theory
- test bed
- real time
- multi valued
- first order logic
- logic programs
- nonmonotonic logics
- case study
- formal theory
- epistemic logic
- search engine
- learning algorithm
- deductive reasoning
- real world