Login / Signup

Secure by construction: addressing security vulnerabilities introduced during high-level synthesis: invited.

Md Rafid MuttakiZahin IbnatFarimah Farahmandi
Published in: DAC (2022)
Keyphrases
  • security vulnerabilities
  • high level synthesis
  • security properties
  • unauthorized access
  • lightweight
  • case study
  • formal model
  • dos attacks
  • sensor networks
  • access control
  • mobile agents
  • security issues
  • security analysis