Advancing remote attestation via computer-aided formal verification of designs and synthesis of executables: opinion.
Karim EldefrawyGene TsudikPublished in: WiSec (2019)
Keyphrases
- computer aided
- formal verification
- remote attestation
- model checking
- design tools
- virtual machine
- computing platform
- computer aided diagnosis
- trusted computing
- image analysis
- cloud computing
- diagnosis of breast cancer
- security protocols
- computer aided design
- capsule endoscopy
- cad systems
- embedded systems
- process planning
- neural network
- grid systems
- trusted platform module
- parallel computing
- computing systems
- distributed computing
- operating system
- data processing
- source code
- object oriented
- pattern recognition
- data mining