Skip to main content
Erschienen in:
Buchtitelbild

2017 | OriginalPaper | Buchkapitel

An Adaptive Gas Cost Mechanism for Ethereum to Defend Against Under-Priced DoS Attacks

verfasst von : Ting Chen, Xiaoqi Li, Ying Wang, Jiachi Chen, Zihao Li, Xiapu Luo, Man Ho Au, Xiaosong Zhang

Erschienen in: Information Security Practice and Experience

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The gas mechanism in Ethereum charges the execution of every operation to ensure that smart contracts running in EVM (Ethereum Virtual Machine) will be eventually terminated. Failing to properly set the gas costs of EVM operations allows attackers to launch DoS attacks on Ethereum. Although Ethereum recently adjusted the gas costs of EVM operations to defend against known DoS attacks, it remains unknown whether the new setting is proper and how to configure it to defend against unknown DoS attacks. In this paper, we make the first step to address this challenging issue by first proposing an emulation-based framework to automatically measure the resource consumptions of EVM operations. The results reveal that Ethereum’s new setting is still not proper. Moreover, we obtain an insight that there may always exist exploitable under-priced operations if the cost is fixed. Hence, we propose a novel gas cost mechanism, which dynamically adjusts the costs of EVM operations according to the number of executions, to thwart DoS attacks. This method punishes the operations that are executed much more frequently than before and lead to high gas costs. To make our solution flexible and secure and avoid frequent update of Ethereum client, we design a special smart contract that collaborates with the updated EVM for dynamic parameter adjustment. Experimental results demonstrate that our method can effectively thwart both known and unknown DoS attacks with flexible parameter settings. Moreover, our method only introduces negligible additional gas consumption for benign users.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
3.
Zurück zum Zitat Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on Ethereum smart contracts (SoK). In: Proceedings of the POST (2017) Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on Ethereum smart contracts (SoK). In: Proceedings of the POST (2017)
4.
Zurück zum Zitat Bhargavan, K., Delignat-Lavaud, A., Fournet, C., Gollamudi, A., Gonthier, G., Kobeissi, N., Rastogi, A., Sibut-Pinote, T., Swamy, N., Zanélla-Beguelin, S.: Formal verification of smart contracts: short paper. In: Workshop, PLAS (2016) Bhargavan, K., Delignat-Lavaud, A., Fournet, C., Gollamudi, A., Gonthier, G., Kobeissi, N., Rastogi, A., Sibut-Pinote, T., Swamy, N., Zanélla-Beguelin, S.: Formal verification of smart contracts: short paper. In: Workshop, PLAS (2016)
9.
Zurück zum Zitat Chen, T., Li, X., Luo, X., Zhang, X.: Under-optimized smart contracts devour your money. In: Proceedings of the SANER (2017) Chen, T., Li, X., Luo, X., Zhang, X.: Under-optimized smart contracts devour your money. In: Proceedings of the SANER (2017)
12.
Zurück zum Zitat Dinh, T., Wang, J., Chen, G., Liu, R., Ooi, B., Tan, K.: Blockbench: a framework for analyzing private blockchains. In: Conference on SIGMOD/PODS (2017) Dinh, T., Wang, J., Chen, G., Liu, R., Ooi, B., Tan, K.: Blockbench: a framework for analyzing private blockchains. In: Conference on SIGMOD/PODS (2017)
13.
Zurück zum Zitat Hirai, Y.: Defining the ethereum virtual machine for interactive theorem provers. In: Proceedings of the WTSC (2017) Hirai, Y.: Defining the ethereum virtual machine for interactive theorem provers. In: Proceedings of the WTSC (2017)
14.
Zurück zum Zitat Jiang, M., Wang, C., Luo, X., Miu, M., Chen, T.: Characterizing the impacts of application layer DDoS attacks. In: Proceedings of the IEEE ICWS (2017) Jiang, M., Wang, C., Luo, X., Miu, M., Chen, T.: Characterizing the impacts of application layer DDoS attacks. In: Proceedings of the IEEE ICWS (2017)
15.
Zurück zum Zitat Juels, A., Kosba, A., Shi, E.: The ring of Gyges: investigating the future of criminal smart contracts. In: Proceedings of the CCS (2016) Juels, A., Kosba, A., Shi, E.: The ring of Gyges: investigating the future of criminal smart contracts. In: Proceedings of the CCS (2016)
16.
Zurück zum Zitat Kosba, A., Miller, A., Shi, E., Wen, Z., Papamanthou, C.: Hawk: the blockchain model of cryptography and privacy-preserving smart contracts. In: Proceedings of the S&P (2016) Kosba, A., Miller, A., Shi, E., Wen, Z., Papamanthou, C.: Hawk: the blockchain model of cryptography and privacy-preserving smart contracts. In: Proceedings of the S&P (2016)
17.
Zurück zum Zitat Luo, X., Chang, R.: Optimizing the pulsing denial-of-service attacks. In: Proceedings of the DSN (2005) Luo, X., Chang, R.: Optimizing the pulsing denial-of-service attacks. In: Proceedings of the DSN (2005)
18.
Zurück zum Zitat Luu, L., Chu, D.H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of the CCS (2016) Luu, L., Chu, D.H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of the CCS (2016)
20.
Zurück zum Zitat Pettersson, J., Edström, R.: Safer smart contracts through type-driven development. Master’s thesis, Chalmers University Of Technology And University Of Gothenburg (2016) Pettersson, J., Edström, R.: Safer smart contracts through type-driven development. Master’s thesis, Chalmers University Of Technology And University Of Gothenburg (2016)
22.
Zurück zum Zitat Sergey, I., Hobor, A.: A concurrent perspective on smart contracts. In: Proceedings of the WTSC (2017) Sergey, I., Hobor, A.: A concurrent perspective on smart contracts. In: Proceedings of the WTSC (2017)
23.
Zurück zum Zitat Tang, Y., Luo, X., Hui, Q., Chang, R.: Modeling the vulnerability of feedback-control based internet services to low-rate dos attacks. IEEE Trans. Inf. Forensics Secur. 9(3), 339–353 (2014)CrossRef Tang, Y., Luo, X., Hui, Q., Chang, R.: Modeling the vulnerability of feedback-control based internet services to low-rate dos attacks. IEEE Trans. Inf. Forensics Secur. 9(3), 339–353 (2014)CrossRef
25.
Zurück zum Zitat Xue, L., Luo, X., Chan, E., Zhan, X.: Towards detecting target link flooding attack. In: Proceedings of the USENIX LISA (2014) Xue, L., Luo, X., Chan, E., Zhan, X.: Towards detecting target link flooding attack. In: Proceedings of the USENIX LISA (2014)
26.
Zurück zum Zitat Yasaweerasinghelage, R., Staples, M., Weber, I.: Predicting latency of blockchain-based systems using architectural modelling and simulation. In: Conference on ICSA (2017) Yasaweerasinghelage, R., Staples, M., Weber, I.: Predicting latency of blockchain-based systems using architectural modelling and simulation. In: Conference on ICSA (2017)
27.
Zurück zum Zitat Zhang, F., Cecchetti, E., Croman, K., Juels, A., Shi, E.: Town crier: an authenticated data feed for smart contracts. In: Proceedings of the CCS (2016) Zhang, F., Cecchetti, E., Croman, K., Juels, A., Shi, E.: Town crier: an authenticated data feed for smart contracts. In: Proceedings of the CCS (2016)
Metadaten
Titel
An Adaptive Gas Cost Mechanism for Ethereum to Defend Against Under-Priced DoS Attacks
verfasst von
Ting Chen
Xiaoqi Li
Ying Wang
Jiachi Chen
Zihao Li
Xiapu Luo
Man Ho Au
Xiaosong Zhang
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-72359-4_1