Sign in

AutoMap: Automated Mapping of Security Properties Between Different Levels of Abstraction in Design Flow.

Bulbul AhmedFahim RahmanNick HootenFarimah FarahmandiMark M. Tehranipoor
Published in: ICCAD (2021)
Keyphrases
  • levels of abstraction
  • security properties
  • security requirements
  • abstraction levels
  • artificial intelligence
  • information systems
  • knowledge representation
  • software engineering
  • compression ratio
  • security analysis