Proof producing synthesis of arithmetic and cryptographic hardware.
Konrad SlindScott OwensJuliano IyodaMike GordonPublished in: Formal Aspects Comput. (2007)
Keyphrases
- random number generator
- low cost
- smart card
- hardware and software
- galois field
- protection schemes
- real time
- program synthesis
- theorem proving
- high quality
- hardware implementation
- theorem prover
- texture synthesis
- floating point arithmetic
- computer systems
- image processing
- parallel hardware
- random number
- arithmetic operations
- massively parallel
- hash functions
- embedded systems
- efficient implementation
- digital circuits
- hardware architecture
- vlsi implementation
- digital signature
- encryption scheme
- floating point