Secure Execution of Smart Contracts

Informazioni relative al progetto

CONSEC

ID dell’accordo di sovvenzione: 101042266

DOI

10.3030/101042266

Data della firma CE 27 Ottobre 2022

Data di avvio 1 Novembre 2022

Data di completamento 31 Ottobre 2027

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 486 313,00

Contributo UE

€ 1 486 313,00

Coordinato da

UNIVERSITAET DUISBURG-ESSEN
Germany

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (5)

Tutorial: Analyzing, Exploiting, and Patching Smart Contracts in Ethereum

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

Fuzz on the Beach: Fuzzing Solana Smart Contracts

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

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

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

EFCF: High Performance Smart Contract Fuzzing for Exploit Generation

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

Defying the Odds: Solana's Unexpected Resilience in Spite of the Security Challenges Faced by Developers

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