Login / Signup
Securify: Practical Security Analysis of Smart Contracts.
Petar Tsankov
Andrei Marian Dan
Dana Drachsler-Cohen
Arthur Gervais
Florian Bünzli
Martin T. Vechev
Published in:
CCS (2018)
Keyphrases
</>
security analysis
public key
smart card
security requirements
high security
security model
image encryption
security properties
encryption scheme
user authentication
wavelet transform
authentication protocol
low cost
information security
private key
supply chain
video sequences
proxy signature scheme