Login / Signup

Implementation and verification of DPA-resistant cryptographic DES circuit using Domino-RSL.

Katsuhiko IwaiMitsuru ShiozakiAnh-Tuan HoangKenji KojimaTakeshi Fujino
Published in: HOST (2011)
Keyphrases
  • differential power analysis
  • circuit design
  • high speed
  • countermeasures
  • database
  • neural network
  • privacy preserving
  • model checking
  • smart card
  • analog circuits
  • verification method
  • electronic circuits