DPA on quasi delay insensitive asynchronous circuits: formalization and improvement

G. Fraidy Bouesse Marc Renaudin Sophie Dumont Fabien Germain

Published in: CoRR (2007)

Keyphrases

asynchronous circuits
delay insensitive
process algebra
model checking
countermeasures
artificial intelligence
information systems
knowledge representation
website
image compression
formal model
video streaming
differential power analysis