Login / Signup
Florian Bünzli
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Security Analysis
Private Key
Wavelet Transform
Video Sequences
Top Venues
CCS
</>
Publications
</>
Petar Tsankov
,
Andrei Marian Dan
,
Dana Drachsler-Cohen
,
Arthur Gervais
,
Florian Bünzli
,
Martin T. Vechev
Securify: Practical Security Analysis of Smart Contracts.
CCS
(2018)