Work

Securify: Practical Security Analysis of Smart Contracts

Year: 2018

Type: conference-paper

Source: ACM SIGSAC Conference on Computer and Communications Security (CCS)

DOI: 10.1145/3243734.3243780

Authors: Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin Vechev

Institutions: ETH Zurich, Imperial College London

Language: English

Topic: Blockchain Technology Applications and Security

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2805052744

FWCI: 58.37

Cites: 33

Cited by: 1,140

Related to: 10