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 10335

Keyphrases

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

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