Triple Rail Logic Robustness against DPA.
Victor LomnéThomas OrdasPhilippe MaurineLionel TorresMichel RobertRafael SoaresNey CalazansPublished in: ReConFig (2008)
Keyphrases
- high speed
- computational efficiency
- countermeasures
- differential power analysis
- automated reasoning
- logic programming
- search engine
- machine learning
- image sequences
- modal logic
- genetic algorithm
- computational properties
- defeasible logic
- digital circuits
- asynchronous circuits
- dynamic logic
- proof theory
- power analysis
- real world