C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Enforcing Executing-Implies-Verified with the Integrity-Aware Processor.
Michael LeMay
Carl A. Gunter
Published in:
TRUST (2011)
Keyphrases
</>
high speed
parallel processing
integrity constraints
integrity checking
single chip
single processor
instruction set
database integrity
real time
computer architecture
distributed memory
parallel processors
data protection