Formal Verification of Smart Contracts 论文

2016引用 616
DOIPDF
Security and Verification in ComputingAdvanced Malware Detection TechniquesDigital and Cyber Forensics
网络安全Security and Verification in ComputingAdvanced Malware Detection TechniquesDigital and Cyber Forensics
相关技术:Advanced Malware Detection Techniques
关系图谱

Formal Verification of Smart Contracts · 作者

S

Santiago Zanella-Béguelin

N

Nikhil Swamy

T

Thomas Sibut-Pinote

A

Aseem Rastogi

N

Natalia Kulatova

N

Nadim Kobeissi

G

Georges Gonthier

A

Anitha Gollamudi

C

Cédric Fournet

A

Antoine Delignat-Lavaud

K

Karthikeyan Bhargavan