Sebastian Holler

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Security Analysis

Mutual Authentication

Proxy Signature Scheme

Image Encryption

Top Venues

Publications

Sebastian Holler, Sebastian Biewer, Clara Schneidewind
HoRStify: Sound Security Analysis of Smart Contracts. CSF (2023)
Sebastian Holler, Sebastian Biewer, Clara Schneidewind
HoRStify: Sound Security Analysis of Smart Contracts. CoRR (2023)