New Constructions for UC Secure Computation Using Tamper-Proof Hardware.
Nishanth ChandranVipul GoyalAmit SahaiPublished in: EUROCRYPT (2008)
Keyphrases
- low cost
- security level
- hardware and software
- parallel computation
- security properties
- theorem prover
- security mechanisms
- security issues
- protection scheme
- vlsi implementation
- real time
- embedded systems
- information security
- lightweight
- image processing
- theorem proving
- security requirements
- encryption scheme
- hardware implementation
- security analysis
- user authentication
- access control
- trusted computing