Execution integrity without implicit trust of system software.
Ahmed AwadBrad KarpPublished in: SysTEX@SOSP (2019)
Keyphrases
- software development
- software architecture
- trusted computing
- software tools
- data flow
- control flow
- software systems
- trust model
- open systems
- computer systems
- test cases
- integrity checking
- software package
- high assurance
- user interface
- hardware design
- social capital
- software components
- integrity constraints
- source code