Login / Signup

On the Prediction of Hardware Security Properties of HLS Designs Using Graph Neural Networks.

Amalia-Artemis KoufopoulouAthanasios PapadimitriouAggelos PikrakisMihalis PsarakisDavid Hély
Published in: CoRR (2023)
Keyphrases
  • security properties
  • neural network
  • formal model
  • security requirements
  • low cost
  • security analysis
  • formal methods
  • security protocols
  • real time
  • computer systems
  • cryptographic protocols