VeriTrust: verification for hardware trust.
Jie ZhangFeng YuanLingxiao WeiZelong SunQiang XuPublished in: DAC (2013)
Keyphrases
- hardware designs
- trusted computing
- trust model
- hardware and software
- low cost
- trust evaluation
- computing power
- real time
- model checking
- hardware implementation
- massively parallel
- privacy concerns
- face verification
- computing systems
- computer systems
- formal verification
- virtual teams
- verification method
- vlsi implementation
- formal methods
- trust propagation
- trust relationships
- asynchronous circuits
- open systems
- signature verification
- personal computer
- data sets