Proof-Carrying Hardware Intellectual Property: A Pathway to Trusted Module Acquisition.
Eric LoveYier JinYiorgos MakrisPublished in: IEEE Trans. Inf. Forensics Secur. (2012)
Keyphrases
- intellectual property
- low cost
- data acquisition
- trusted computing
- host computer
- real time
- patent search
- hardware and software
- clef ip
- computing systems
- massively parallel
- patent documents
- theorem prover
- patent information
- hardware implementation
- theorem proving
- computer systems
- field programmable gate array
- control unit
- linear logic
- hardware architecture
- decision making