Publications

SMARTBUGS: A Framework to Analyze Solidity Smart Contracts

AuthID
P-00S-JMX

Author(s)

Ferreira, JF

Cruz, P

Durieux, T

Abreu, R

Document Type

Proceedings Paper

Year published

2020

Published

in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020) in IEEE ACM International Conference on Automated Software Engineering, ISSN: 1527-1366

Pages: 1349-1352 (4)

Conference

35Th Ieee/Acm International Conference on Automated Software Engineering (Ase), Date: SEP 21-25, 2020, Location: ELECTR NETWORK, Sponsors: IEEE, Assoc Comp Machinery, IEEE Comp Soc, Monash Univ, NASA Ames Rese Ctr, IEEE Tech Council Software Engn, ACM SIGAI, ACM Special Interest Grp Software Engn, Deakin Univ

Indexing