Uniformly-Switching Logic for Cryptographic Hardware.
Igor L. MarkovDmitri MaslovPublished in: DATE (2005)
Keyphrases
- random number generator
- digital circuits
- hardware and software
- low cost
- smart card
- real time
- multi valued
- protection schemes
- chip design
- logic programming
- modal logic
- classical logic
- asynchronous circuits
- massively parallel
- automated reasoning
- computing power
- hash functions
- computer systems
- defeasible logic
- video sequences
- proof theory
- linear logic
- predicate logic
- high end
- hardware design
- circuit design
- hardware implementation