Login / Signup
Securify: Practical Security Analysis of Smart Contracts.
Petar Tsankov
Andrei Marian Dan
Dana Drachsler-Cohen
Arthur Gervais
Florian Buenzli
Martin T. Vechev
Published in:
CoRR (2018)
Keyphrases
</>
security analysis
public key
smart card
high security
security requirements
security model
encryption scheme
image encryption
authentication protocol
authentication scheme
security properties
user authentication
mutual authentication
database systems
private key
proxy signature scheme