Secure and trusted white-box verification.
Yixian CaiGeorge KarakostasAlan WassyngPublished in: CoRR (2016)
Keyphrases
- white box
- black box
- trusted computing
- cryptographic protocols
- secure multi party
- integrity verification
- source code
- model checking
- test data
- face verification
- source code metrics
- trusted platform module
- test cases
- security requirements
- network connection
- formal verification
- security mechanisms
- formal methods
- signature verification
- scalar product
- remote attestation
- authentication protocol
- security protocols
- security issues
- lightweight