Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Secure Execution of Smart Contracts

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Tutorial: Analyzing, Exploiting, and Patching Smart Contracts in Ethereum (opens in new window)

Author(s): Jens-Rene Giesen, Sebastien Andreina, Michael Rodler, Ghassan O. Karame, Lucas Davi
Published in: 2022 IEEE Secure Development Conference (SecDev), 2023
Publisher: IEEE
DOI: 10.1109/SecDev53368.2022.00013

Fuzz on the Beach: Fuzzing Solana Smart Contracts (opens in new window)

Author(s): Sven Smolka; Jens-Rene Giesen; Pascal Winkler; Oussama Draissi; Lucas Davi; Ghassan Karame; Klaus Pohl
Published in: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
Publisher: ACM
DOI: 10.48550/arxiv.2309.03006

HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts

Author(s): J.-R. Giesen, S. Andreina, M. Rodler, G. Karame, L. Davi
Published in: Proceedings of the 23rd International Conference on Applied Cryptography and Network Security (ACNS), 2025
Publisher: Springer

EFCF: High Performance Smart Contract Fuzzing for Exploit Generation (opens in new window)

Author(s): Michael Rodler, David Paaen, Wenting Li, Lukas Bernhard, Thorsten Holz, Ghassan Karame, Lucas Davi
Published in: 2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P), 2024
Publisher: IEEE
DOI: 10.1109/EuroSP57164.2023.00034

Defying the Odds: Solana's Unexpected Resilience in Spite of the Security Challenges Faced by Developers (opens in new window)

Author(s): Sbastien Andreina, Tobias Cloosters, Lucas Davi, Jens-Rene Giesen, Marco Gutfleisch, Ghassan Karame, Alena Naiakshina, Houda Naji
Published in: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024
Publisher: ACM
DOI: 10.1145/3658644.3670333

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0