Nalaganje ...
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Št. navedb na leto
Podvojene navedbe
Naslednji članki v Učenjaku so združeni. Pri teh se za
skupno število navedb
upošteva le prvi članek.
Združene navedbe
Ta števec navedb vsebuje navedbe naslednjih člankov v Učenjaku. Tisti, ki so označeni z
*
, se morda razlikujejo od člankov v profilu.
Dodajanje soavtorjev
Soavtorji
Spremljaj
Novi članki tega avtorja
Novi navedki člankov tega avtorja
Novi članki, povezani z raziskavami tega avtorja
E-poštni naslov za obvestila
Končano
Moj profil
Moja knjižnica
Podatki o navedbah
Opozorila
Nastavitve
Prijava
Prijava
Ustvarite profil
Navedeno
Vse
Od leta 2019
Navedbe
13
13
indeks h
1
1
indeks i10
1
1
0
8
4
2023
2024
8
5
Javni dostop
Prikaži vse
Prikaži vse
1 članek
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
Mu Zhang
Assistant Professor, School of Computing, University of Utah
Preverjeni e-poštni naslov na cs.utah.edu
Zhichao Xu
University of Utah
Preverjeni e-poštni naslov na scarletmail.rutgers.edu
Levi Taiji Li
Ph.D. student, University of Utah
Preverjeni e-poštni naslov na cs.utah.edu
Spremljaj
Yu Pan
University of Utah
Preverjeni e-poštni naslov na cs.utah.edu -
Domača stran
security
blockchain
Članki
Navedeno
Javni dostop
Soavtorji
Naslov
Razvrsti
Razvrsti po navedbah
Razvrsti po letniku
Razvrsti po naslovu
Navedeno
Navedeno
Leto
Towards automated safety vetting of smart contracts in decentralized applications
Y Duan, X Zhao, Y Pan, S Li, M Li, F Xu, M Zhang
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …
, 2022
12
2022
Automated generation of security-centric descriptions for smart contract bytecode
Y Pan, Z Xu, LT Li, Y Yang, M Zhang
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …
, 2023
1
2023
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–2
Pokaži več
Zasebnost
Pogoji
Pomoč
O Učenjaku
Pomoč za Iskanje Google