Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
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
shuang wu
Kristian Gjøsteen
og
Colin Alexander Boyd
Presentasjon
Presentasjon
Navn på arrangementet: 2nd Workshop on Formal Methods for Blockchains
Dato fra:
20. juli 2020
Dato til:
21. juli 2020
Om resultatet
Om resultatet
Vitenskapelig foredrag
Publiseringsår: 2020
Beskrivelse
Beskrivelse
Engelsk
Tittel
A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract
Bidragsytere
Bidragsytere
Shuang Wu
Bidragsyterens navn vises på dette resultatet som shuang wu
Forfatter
ved Institutt for matematiske fag ved Norges teknisk-naturvitenskapelige universitet
Kristian Gjøsteen
Forfatter
ved Institutt for matematiske fag ved Norges teknisk-naturvitenskapelige universitet
Colin Alexander Boyd
Forfatter
ved Institutt for informasjonssikkerhet og kommunikasjonsteknologi ved Norges teknisk-naturvitenskapelige universitet
1
-
3
av
3