Cristin-resultat-ID: 1872749
Sist endret: 17. januar 2021, 22:39
Resultat
Vitenskapelig foredrag
2020

A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract

Bidragsytere:
  • shuang wu
  • Kristian Gjøsteen og
  • Colin Alexander Boyd

Presentasjon

Navn på arrangementet: 2nd Workshop on Formal Methods for Blockchains
Dato fra: 20. juli 2020
Dato til: 21. juli 2020

Om resultatet

Vitenskapelig foredrag
Publiseringsår: 2020

Beskrivelse Beskrivelse

Tittel

A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract

Bidragsytere

Shuang Wu

Bidragsyterens navn vises på dette resultatet som shuang wu
  • Tilknyttet:
    Forfatter
    ved Institutt for matematiske fag ved Norges teknisk-naturvitenskapelige universitet

Kristian Gjøsteen

  • Tilknyttet:
    Forfatter
    ved Institutt for matematiske fag ved Norges teknisk-naturvitenskapelige universitet

Colin Alexander Boyd

  • Tilknyttet:
    Forfatter
    ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
1 - 3 av 3