C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Abstractions for Attested Execution Secure Processors.
Rafael Pass
Elaine Shi
Florian Tramèr
Published in:
EUROCRYPT (1) (2017)
Keyphrases
</>
parallel execution
parallel algorithm
parallel processing
security issues
execution model
formal descriptions
high level
formal specification
multithreading
lightweight
instruction set
data flow
parallel processors
database
standard model
cryptographic protocols