HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Giesen, Jens-Rene, Andreina, Sebastien, Rodler, Michael, Karame, Ghassan O., Davi, Lucas |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2022
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
SseRex: Practical Symbolic Execution of Solana Smart Contracts
von: Cloosters, Tobias, et al.
Veröffentlicht: (2026)
von: Cloosters, Tobias, et al.
Veröffentlicht: (2026)
Fuzz on the Beach: Fuzzing Solana Smart Contracts
von: Smolka, Sven, et al.
Veröffentlicht: (2023)
von: Smolka, Sven, et al.
Veröffentlicht: (2023)
Defying the Odds: Solana's Unexpected Resilience in Spite of the Security Challenges Faced by Developers
von: Andreina, Sébastien, et al.
Veröffentlicht: (2024)
von: Andreina, Sébastien, et al.
Veröffentlicht: (2024)
On the Robustness of Distributed Machine Learning against Transfer Attacks
von: Andreina, Sébastien, et al.
Veröffentlicht: (2024)
von: Andreina, Sébastien, et al.
Veröffentlicht: (2024)
Targeted Fuzzing for Unsafe Rust Code: Leveraging Selective Instrumentation
von: Paaßen, David, et al.
Veröffentlicht: (2025)
von: Paaßen, David, et al.
Veröffentlicht: (2025)
Larger-scale Nakamoto-style Blockchains Don't Necessarily Offer Better Security
von: Albrecht, Jannik, et al.
Veröffentlicht: (2024)
von: Albrecht, Jannik, et al.
Veröffentlicht: (2024)
On the Effectiveness of Mempool-based Transaction Auditing
von: Albrecht, Jannik, et al.
Veröffentlicht: (2026)
von: Albrecht, Jannik, et al.
Veröffentlicht: (2026)
On Hyperparameters and Backdoor-Resistance in Horizontal Federated Learning
von: Lachnit, Simon, et al.
Veröffentlicht: (2025)
von: Lachnit, Simon, et al.
Veröffentlicht: (2025)
Mitigating Collusion in Proofs of Liabilities
von: Mohamed, Malcom, et al.
Veröffentlicht: (2026)
von: Mohamed, Malcom, et al.
Veröffentlicht: (2026)
Closing the Gap: Achieving Better Accuracy-Robustness Tradeoffs against Query-Based Attacks
von: Zimmer, Pascal, et al.
Veröffentlicht: (2023)
von: Zimmer, Pascal, et al.
Veröffentlicht: (2023)
Digital Building Twins and Blockchain for Performance-Based (Smart) Contracts
von: Hunhevicz, Jens J., et al.
Veröffentlicht: (2021)
von: Hunhevicz, Jens J., et al.
Veröffentlicht: (2021)
Decompiling Smart Contracts with a Large Language Model
von: David, Isaac, et al.
Veröffentlicht: (2025)
von: David, Isaac, et al.
Veröffentlicht: (2025)
FlexiContracts: A Novel and Efficient Scheme for Upgrading Smart Contracts in Ethereum Blockchain
von: Hossain, Tahrim, et al.
Veröffentlicht: (2025)
von: Hossain, Tahrim, et al.
Veröffentlicht: (2025)
The Real Menace of Cloning Attacks on SGX Applications
von: Wilde, Annika, et al.
Veröffentlicht: (2026)
von: Wilde, Annika, et al.
Veröffentlicht: (2026)
On Abnormal Execution Timing of Conditional Jump Instructions
von: Wilde, Annika, et al.
Veröffentlicht: (2026)
von: Wilde, Annika, et al.
Veröffentlicht: (2026)
On Securing the Software Development Lifecycle in IoT RISC-V Trusted Execution Environments
von: Wilde, Annika, et al.
Veröffentlicht: (2026)
von: Wilde, Annika, et al.
Veröffentlicht: (2026)
Practical Light Clients for Committee-Based Blockchains
von: Armknecht, Frederik, et al.
Veröffentlicht: (2024)
von: Armknecht, Frederik, et al.
Veröffentlicht: (2024)
Smart Contract Security Beyond Detection
von: Abdelaziz, Tamer
Veröffentlicht: (2026)
von: Abdelaziz, Tamer
Veröffentlicht: (2026)
Model Context Contracts - MCP-Enabled Framework to Integrate LLMs With Blockchain Smart Contracts
von: Bandara, Eranga, et al.
Veröffentlicht: (2025)
von: Bandara, Eranga, et al.
Veröffentlicht: (2025)
Tuning for Two Adversaries: Enhancing the Robustness Against Transfer and Query-Based Attacks using Hyperparameter Tuning
von: Zimmer, Pascal, et al.
Veröffentlicht: (2025)
von: Zimmer, Pascal, et al.
Veröffentlicht: (2025)
Smart Contract Languages: a comparative analysis
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2024)
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2024)
LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
von: Wei, Zhiyuan, et al.
Veröffentlicht: (2024)
von: Wei, Zhiyuan, et al.
Veröffentlicht: (2024)
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines
von: Maxence, Lambard, et al.
Veröffentlicht: (2025)
von: Maxence, Lambard, et al.
Veröffentlicht: (2025)
Architectural Design for Secure Smart Contract Development
von: Lewis, Myles, et al.
Veröffentlicht: (2024)
von: Lewis, Myles, et al.
Veröffentlicht: (2024)
Exploring Vulnerabilities and Concerns in Solana Smart Contracts
von: Wu, Xiangfan, et al.
Veröffentlicht: (2025)
von: Wu, Xiangfan, et al.
Veröffentlicht: (2025)
Temporarily Restricting Solidity Smart Contract Interactions
von: Callens, Valerian, et al.
Veröffentlicht: (2024)
von: Callens, Valerian, et al.
Veröffentlicht: (2024)
Generative Large Language Model usage in Smart Contract Vulnerability Detection
von: Ince, Peter, et al.
Veröffentlicht: (2025)
von: Ince, Peter, et al.
Veröffentlicht: (2025)
Targeted Physical Evasion Attacks in the Near-Infrared Domain
von: Zimmer, Pascal, et al.
Veröffentlicht: (2025)
von: Zimmer, Pascal, et al.
Veröffentlicht: (2025)
The Forking Way: When TEEs Meet Consensus
von: Wilde, Annika, et al.
Veröffentlicht: (2024)
von: Wilde, Annika, et al.
Veröffentlicht: (2024)
Constructing Trustworthy Smart Contracts
von: Chait-Roth, Devora, et al.
Veröffentlicht: (2024)
von: Chait-Roth, Devora, et al.
Veröffentlicht: (2024)
Leveraging Large Language Models and Machine Learning for Smart Contract Vulnerability Detection
von: Hossain, S M Mostaq, et al.
Veröffentlicht: (2025)
von: Hossain, S M Mostaq, et al.
Veröffentlicht: (2025)
Detect Llama -- Finding Vulnerabilities in Smart Contracts using Large Language Models
von: Ince, Peter, et al.
Veröffentlicht: (2024)
von: Ince, Peter, et al.
Veröffentlicht: (2024)
An Automated Analyzer for Financial Security of Ethereum Smart Contracts
von: Wang, Wansen, et al.
Veröffentlicht: (2022)
von: Wang, Wansen, et al.
Veröffentlicht: (2022)
RaceTEE: Enabling Interoperability of Confidential Smart Contracts
von: Zhang, Keyu, et al.
Veröffentlicht: (2025)
von: Zhang, Keyu, et al.
Veröffentlicht: (2025)
Interaction-Aware Vulnerability Detection in Smart Contract Bytecodes
von: Li, Wenkai, et al.
Veröffentlicht: (2024)
von: Li, Wenkai, et al.
Veröffentlicht: (2024)
Security Analysis of Ponzi Schemes in Ethereum Smart Contracts
von: Zhang, Chunyi, et al.
Veröffentlicht: (2025)
von: Zhang, Chunyi, et al.
Veröffentlicht: (2025)
Evaluating the Vulnerability Landscape of LLM-Generated Smart Contracts
von: Do, Hoang Long, et al.
Veröffentlicht: (2026)
von: Do, Hoang Long, et al.
Veröffentlicht: (2026)
BACKRUNNER: Mitigating Smart Contract Attacks in the Real World
von: Shou, Chaofan, et al.
Veröffentlicht: (2024)
von: Shou, Chaofan, et al.
Veröffentlicht: (2024)
ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
von: Wang, Che, et al.
Veröffentlicht: (2024)
von: Wang, Che, et al.
Veröffentlicht: (2024)
SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode
von: Bu, Jiuyang, et al.
Veröffentlicht: (2025)
von: Bu, Jiuyang, et al.
Veröffentlicht: (2025)
Ähnliche Einträge
-
SseRex: Practical Symbolic Execution of Solana Smart Contracts
von: Cloosters, Tobias, et al.
Veröffentlicht: (2026) -
Fuzz on the Beach: Fuzzing Solana Smart Contracts
von: Smolka, Sven, et al.
Veröffentlicht: (2023) -
Defying the Odds: Solana's Unexpected Resilience in Spite of the Security Challenges Faced by Developers
von: Andreina, Sébastien, et al.
Veröffentlicht: (2024) -
On the Robustness of Distributed Machine Learning against Transfer Attacks
von: Andreina, Sébastien, et al.
Veröffentlicht: (2024) -
Targeted Fuzzing for Unsafe Rust Code: Leveraging Selective Instrumentation
von: Paaßen, David, et al.
Veröffentlicht: (2025)