共 50 条
- [1] Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):
- [2] Securing Smart Grid Communication using Ethereum Smart Contracts 2020 16TH INTERNATIONAL WIRELESS COMMUNICATIONS & MOBILE COMPUTING CONFERENCE, IWCMC, 2020, : 1672 - 1678
- [4] Instant payment and latent transactions on the Ethereum Blockchain 2018 17TH ROEDUNET IEEE INTERNATIONAL CONFERENCE: NETWORKING IN EDUCATION AND RESEARCH (ROEDUNET), 2018,
- [6] Ethereum Smart Contracts: Vulnerabilities and their Classifications 2020 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2020,
- [7] Termination of Ethereum's Smart Contracts PROCEEDINGS OF THE 17TH INTERNATIONAL JOINT CONFERENCE ON E-BUSINESS AND TELECOMMUNICATIONS (SECRYPT), VOL 1, 2020, : 39 - 51
- [10] Runtime Verification of Ethereum Smart Contracts 2018 14TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC 2018), 2018, : 158 - 163