Hardware Private Circuits: From Trivial Composition to Full Verification.
Gaëtan CassiersBenjamin GrégoireItamar LeviFrançois-Xavier StandaertPublished in: IEEE Trans. Computers (2021)
Keyphrases
- digital circuits
- circuit design
- asynchronous circuits
- low cost
- hardware designs
- model checking
- privacy preserving
- real time
- hardware and software
- floating gate
- chip design
- face verification
- high speed
- computing power
- embedded systems
- formal verification
- hardware architecture
- verification method
- neural network
- hardware design
- delay insensitive
- private data
- data acquisition
- computer systems
- image processing
- vlsi implementation
- web service composition
- computing systems
- power reduction
- quantum computing
- analog vlsi
- random number generator
- information systems
- tunnel diode