Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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-2024 easychair.org. All rights reserved.
