VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties.
Armaiti ArdeshirichamYoshiki TakashimaSicun GaoRyan KastnerPublished in: CCS (2019)
Keyphrases
- sensitive information
- sensitive data
- hardware designs
- third party
- privacy preserving
- data protection
- privacy preservation
- private information
- data privacy
- original data
- medical records
- information leakage
- malicious users
- private data
- privacy protection
- data security
- protect sensitive
- smart card
- personal data
- data storage
- user privacy
- confidential information
- model checking
- cloud computing
- image data
- high dimensional