HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Sebastian Holler

Publications
HoRStify: Sound Security Analysis of Smart Contracts
Sebastian Holler, Sebastian Biewer and Clara Schneidewind
EasyChair Preprint no. 10335

Keyphrases

Blockchain, dependency analysis, Ethereum, program analysis, Security, smart contract, tool.

Copyright © 2012-2023 easychair.org. All rights reserved.