Formal Abstractions for Attested Execution Secure Processors.
Rafael PassElaine ShiFlorian TramèrPublished in: IACR Cryptol. ePrint Arch. (2016)
Keyphrases
- parallel execution
- parallel processing
- parallel algorithm
- execution model
- formal descriptions
- authentication scheme
- high level
- multithreading
- security analysis
- formal model
- signal processing
- security issues
- sensitive data
- formal specification
- security protocols
- operating system
- lightweight
- multiprocessor systems
- databases