Wikidata

(Q131127098)

English

Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares

scientific article published on 21 November 2023

In more languages
default for all languages
No label defined

No description defined

Statements

title
Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares (English)
1 reference
stated in
Crossref
DOI
10.1145/3576915.3616603
reference URL
https://api.crossref.org/v1/works/http://dx.doi.org/10.1145/3576915.3616603
retrieved
10 November 2024

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    Retrieved from "https://www.wikidata.org/w/index.php?title=Q131127098&oldid=2390717535"