Hardware Private Circuits: From Trivial Composition to Full Verification.
Gaëtan CassiersBenjamin GrégoireItamar LeviFrançois-Xavier StandaertPublished in: IACR Cryptol. ePrint Arch. (2020)
Keyphrases
- digital circuits
- asynchronous circuits
- circuit design
- hardware designs
- hardware and software
- low cost
- chip design
- delay insensitive
- real time
- hardware implementation
- vlsi implementation
- privacy preserving
- formal verification
- analog circuits
- embedded systems
- logic synthesis
- private data
- quantum computing
- computer systems
- hardware architecture
- model checking
- data acquisition
- music composition
- hardware description language
- tunnel diode
- verification method
- control program
- hardware software
- power dissipation
- high end
- signature verification
- formal methods
- computing systems
- image processing