Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Giesen, Jens-Rene, Andreina, Sebastien, Rodler, Michael, Karame, Ghassan O., Davi, Lucas
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SseRex: Practical Symbolic Execution of Solana Smart Contracts
di: Cloosters, Tobias, et al.
Pubblicazione: (2026)

Fuzz on the Beach: Fuzzing Solana Smart Contracts
di: Smolka, Sven, et al.
Pubblicazione: (2023)

Defying the Odds: Solana's Unexpected Resilience in Spite of the Security Challenges Faced by Developers
di: Andreina, Sébastien, et al.
Pubblicazione: (2024)

On the Robustness of Distributed Machine Learning against Transfer Attacks
di: Andreina, Sébastien, et al.
Pubblicazione: (2024)

Targeted Fuzzing for Unsafe Rust Code: Leveraging Selective Instrumentation
di: Paaßen, David, et al.
Pubblicazione: (2025)

Larger-scale Nakamoto-style Blockchains Don't Necessarily Offer Better Security
di: Albrecht, Jannik, et al.
Pubblicazione: (2024)

On the Effectiveness of Mempool-based Transaction Auditing
di: Albrecht, Jannik, et al.
Pubblicazione: (2026)

On Hyperparameters and Backdoor-Resistance in Horizontal Federated Learning
di: Lachnit, Simon, et al.
Pubblicazione: (2025)

Mitigating Collusion in Proofs of Liabilities
di: Mohamed, Malcom, et al.
Pubblicazione: (2026)

Closing the Gap: Achieving Better Accuracy-Robustness Tradeoffs against Query-Based Attacks
di: Zimmer, Pascal, et al.
Pubblicazione: (2023)

Digital Building Twins and Blockchain for Performance-Based (Smart) Contracts
di: Hunhevicz, Jens J., et al.
Pubblicazione: (2021)

Decompiling Smart Contracts with a Large Language Model
di: David, Isaac, et al.
Pubblicazione: (2025)

FlexiContracts: A Novel and Efficient Scheme for Upgrading Smart Contracts in Ethereum Blockchain
di: Hossain, Tahrim, et al.
Pubblicazione: (2025)

The Real Menace of Cloning Attacks on SGX Applications
di: Wilde, Annika, et al.
Pubblicazione: (2026)

On Abnormal Execution Timing of Conditional Jump Instructions
di: Wilde, Annika, et al.
Pubblicazione: (2026)

On Securing the Software Development Lifecycle in IoT RISC-V Trusted Execution Environments
di: Wilde, Annika, et al.
Pubblicazione: (2026)

Practical Light Clients for Committee-Based Blockchains
di: Armknecht, Frederik, et al.
Pubblicazione: (2024)

Smart Contract Security Beyond Detection
di: Abdelaziz, Tamer
Pubblicazione: (2026)

Model Context Contracts - MCP-Enabled Framework to Integrate LLMs With Blockchain Smart Contracts
di: Bandara, Eranga, et al.
Pubblicazione: (2025)

Tuning for Two Adversaries: Enhancing the Robustness Against Transfer and Query-Based Attacks using Hyperparameter Tuning
di: Zimmer, Pascal, et al.
Pubblicazione: (2025)

Smart Contract Languages: a comparative analysis
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)

LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
di: Wei, Zhiyuan, et al.
Pubblicazione: (2024)

From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines
di: Maxence, Lambard, et al.
Pubblicazione: (2025)

Architectural Design for Secure Smart Contract Development
di: Lewis, Myles, et al.
Pubblicazione: (2024)

Exploring Vulnerabilities and Concerns in Solana Smart Contracts
di: Wu, Xiangfan, et al.
Pubblicazione: (2025)

Temporarily Restricting Solidity Smart Contract Interactions
di: Callens, Valerian, et al.
Pubblicazione: (2024)

Generative Large Language Model usage in Smart Contract Vulnerability Detection
di: Ince, Peter, et al.
Pubblicazione: (2025)

Targeted Physical Evasion Attacks in the Near-Infrared Domain
di: Zimmer, Pascal, et al.
Pubblicazione: (2025)

The Forking Way: When TEEs Meet Consensus
di: Wilde, Annika, et al.
Pubblicazione: (2024)

Constructing Trustworthy Smart Contracts
di: Chait-Roth, Devora, et al.
Pubblicazione: (2024)

Leveraging Large Language Models and Machine Learning for Smart Contract Vulnerability Detection
di: Hossain, S M Mostaq, et al.
Pubblicazione: (2025)

Detect Llama -- Finding Vulnerabilities in Smart Contracts using Large Language Models
di: Ince, Peter, et al.
Pubblicazione: (2024)

An Automated Analyzer for Financial Security of Ethereum Smart Contracts
di: Wang, Wansen, et al.
Pubblicazione: (2022)

RaceTEE: Enabling Interoperability of Confidential Smart Contracts
di: Zhang, Keyu, et al.
Pubblicazione: (2025)

Interaction-Aware Vulnerability Detection in Smart Contract Bytecodes
di: Li, Wenkai, et al.
Pubblicazione: (2024)

Security Analysis of Ponzi Schemes in Ethereum Smart Contracts
di: Zhang, Chunyi, et al.
Pubblicazione: (2025)

Evaluating the Vulnerability Landscape of LLM-Generated Smart Contracts
di: Do, Hoang Long, et al.
Pubblicazione: (2026)

BACKRUNNER: Mitigating Smart Contract Attacks in the Real World
di: Shou, Chaofan, et al.
Pubblicazione: (2024)

ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
di: Wang, Che, et al.
Pubblicazione: (2024)

SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode
di: Bu, Jiuyang, et al.
Pubblicazione: (2025)