Skip to content

Security generation mapping new tasks

Jawher Jerray requested to merge security-generation-mapping-new-tasks into master

Major updates:

  • Add confidentiality pragma only for channels with the option check confidentiality
  • Map automatically nonce channels in memories and buses
  • Update AliceAndBobHW models + Update architectures
  • Update diplodocus tutorial + Add new figures

Merge request reports