Komodo: Using verification to disentangle secure-enclave hardware from software.
Andrew FerraiuoloAndrew BaumannChris HawblitzelBryan ParnoPublished in: SOSP (2017)
Keyphrases
- hardware designs
- computer systems
- hardware design
- embedded systems
- control software
- software implementation
- hardware platforms
- hardware and software
- hardware software
- formal verification
- low cost
- blue gene
- computer hardware
- protection schemes
- dedicated hardware
- software development
- model checking
- personal computer
- real time
- software systems
- commercial off the shelf
- trusted computing
- integrity verification
- hardware description language
- data acquisition
- computing systems
- high end
- formal methods
- security issues
- massively parallel
- software tools
- high security
- development process
- hardware implementation
- data encryption
- software developers
- software maintenance
- static analysis