Sign in

Abstract Modeling of System Communication in Constructive Cryptography using CryptHOL.

David A. BasinAndreas LochbihlerUeli MaurerS. Reza Sefidgar
Published in: CSF (2021)
Keyphrases
  • cellular automata
  • real time
  • databases
  • social networks
  • high level
  • information sharing
  • communication systems
  • data sets
  • neural network
  • cooperative
  • evolutionary algorithm
  • modeling language
  • modeling framework