Login / Signup
Florian Buenzli
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Image Encryption
Proxy Signature Scheme
Private Key
Security Analysis
Top Venues
CoRR
</>
Publications
</>
Petar Tsankov
,
Andrei Marian Dan
,
Dana Drachsler-Cohen
,
Arthur Gervais
,
Florian Buenzli
,
Martin T. Vechev
Securify: Practical Security Analysis of Smart Contracts.
CoRR
(2018)