Verified cryptographic code for everybody (Q832216)

From MaRDI portal





scientific article; zbMATH DE number 7498160
Language Label Description Also known as
default for all languages
No label defined
    English
    Verified cryptographic code for everybody
    scientific article; zbMATH DE number 7498160

      Statements

      Verified cryptographic code for everybody (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      25 March 2022
      0 references
      cryptography
      0 references
      automated reasoning
      0 references
      verification
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers