首页 > 编程入门 文章详情

Smart contract security Papers---智能合约安全论文

编程入门 行业动态 更新时间:2024-10-17 13:39:52

友情提示：原创博客，禁止转载，谢谢配合

  1. [CCS'22]Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications
  2. [ICSE'22]Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts
  3. [RAID'22]Elysium- Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts
  4. [ISSTA'22]WASAI: uncovering vulnerabilities in Wasm smart contracts
  5. [ISSTA'22]Finding permission bugs in smart contracts with role mining
  6. [ISSTA'22]eTainter: detecting gas-related vulnerabilities in smart contracts
  7. [ISSTA'22]Park: accelerating smart contract vulnerability detection via parallel-fork symbolic execution
  8. [ISSTA'22]SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability.
  9. [FSE'22]SolSEE: A Source-Level Symbolic Execution Engine for Solidity
  10. [ASE'22]Identifying Solidity Smart Contract API Documentation Errors
  11. [ASE'22]Property-Based Automated Repair of DeFi Protocols
  12. [ASE'22]nvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts
  13. [SP'21]Compositional Security  for Reentrant Applications
  14. [SP'21]SmartPulse - Automated Checking of Temporal Properties in Smart Contracts
  15. [SP'21]SGUARD - Smart Contracts Made Vulnerability-Free
  16. [NDSS'21]As Strong As Its Weakest Link - How to Break Blockchain DApps at RPC Service
  17. [NDSS'21]Bitcontracts: Supporting Smart Contracts in Legacy Blockchains
  18. [security'21] Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
  19. [Security'21] EVMPatch Timely and Automated patch of ethereum smart contracts
  20. [Security'21] EOSAFE：Security Analysis of EOSIO Smart Contracts
  21. [security'21]Evil Under the Sun - Understanding and Discovering Attacks on Ethereum Decentralized Applications
  22. [Security'21]SmarTest - Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution
  23. [ICSE'21]BLOCKEYE: Hunting For DeFi Attacks on Blockchain
  24. [ICSE'21]Smart Contract Security: a Practitioners' Perspective
  25. [ASE'21]Automating User Notice Generation for Smart Contract Functions
  26. [ASE'21]Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts
  27. [ATC'21]An Off-The-Chain Execution Environment for for Scalable Testing and Profiling of Smart Contracts
  28. [ESC/FSE'21]Towards automated verification of smart contract fairness
  29. [ESC/FSE'2021]ÐArcher -detecting on-chain-off-chain synchronization bugs in decentralized applications
  30. [ESC/FSE'2021]Making smart contract development more secure and easier( 基于补丁和安全标准推荐合约安全增强建议并验证)
  31. [ICDCS'21]Blockumulus - A Scalable Framework for Smart Contracts on the Cloud
  32. [ISSRE'21]Peculiar: Smart Contract Vulnerability Detection Based on Crucial Data Flow Graph and Pre-training Techniques
  33. [TSE'21]Aroc: An Automatic Repair Framework for On-chain Smart Contracts
  34. [TKDE'21]Combining_Graph_Neural_Networks_with_Expert_Knowledge_for_Smart_Contract_Vulnerability_Detection
  35. [TPDS'21]Parallel_and_Asynchronous_Smart_Contract_Execution
  36. [InfoCom'21]Code is the (F)Law- Demystifying and Mitigating Blockchain Inconsistency Attacks Caused by Software Bugs
  37. [ASIA CCS ’21]Targeting the Weakest Link - Social Engineering Attacks in Ethereum Smart Contracts
  38. [Saner'21]Analysis of Source Code Duplication in Ethreum Smart Contracts
  39. [Euro&SP'21]CONFUZZIUS: A Data Dependency-Aware Hybrid Fuzzer for Smart Contract
  40. [EASE'21]HFContractFuzzer Fuzzing Hyperledger Fabric Smart Contracts for Vulnerability Detection
  41. [CCS'20]ACE: ASYnchronous and Concurrent Execution of Complex smart contracts
  42. [CCS'20] eThor: Practical and Provably Sound static Analysis of Ethereum Smart contracts
  43. [IJCAI'20]Smart Contract Vulnerability Detection Using Graph Neural Networks
  44. [ASE'20] Demystifying Loops in Smart Contracts
  45. [ASE'20]Summary-Based Symbolic Evaluation for Smart Contracts
  46. [ISSTA'20]Echidna Effective, Usable,and Fast Fuzzing for Smart Contracts
  47. [ISSTA'20]How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools using Bug Injection
  48. [DSN'20]SMACS Smart Contract Access Control Service
  49. [DSN'20]Smart Contracts on the Move
  50. [PLDI'20]Ethainter a smart contract security analyzer for composite vulnerabilities
  51. [PLDI'20]Securing smart contract with runtime validation
  52. [arxive'20]EthScope A Transaction-centric Security Analytics Framework
  53. [Arxive'20]eThor Practical and Provably Sound Static Analysis
  54. [SANER'20]SMARTSHIELD Automatic Smart Contract Protection Made Easy
  55. [SANER'20]ETHPLOIT From Fuzzing to Efficient Exploit generation against smart contracts
  56. [SP'20]VeriSmart： A Highly Precise Safety Verifier for Ethereum Smart Contracts
  57. [SP'20]VerX：Safety Verification of Smart Contracts
  58. [SP'20]Semantic Understanding of Smart Contracts: Executable Operational Semantics
  59. [NDSS'20]SODA: A Generic Online Detection Framework for Smart Contracts
  60. [NDSS'20]Broken Metre:Attacking Resource Metering in EVM
  61. [Security'20]An Ever-evolving Game - Evaluation of Real-world Attacks and Defenses in Ethereum Ecosystem
  62. [Security'20]ETHBMC: A Bounded Model Checker for Smart Contracts
  63. [Security'20]TXSPECTOR: Uncovering Attacks in Ethereum from Transactions
  64. [JNCA'20]FSFC: An input filter-based secure framework for smart contract   
  65. [ICSE'20]sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts
  66. [TSC'20]ContractGuard Defend Ethereum Smart contracts with Embedded Intrusion Detection

  67. [TSE'20]Smart Contract Development: Challenges and Opportunities

  68. [FSE'20]HARVEY： A Greybox Fuzzer for Smart Contracts
  69. [FSE'20] Towards Automated Verification of Smart Contract Fairness
  70. [FSE'20]ModCon- A Model-Based Testing Platform for Smart Contracts
  71. [ICSE'20]Targeted Greybox Fuzzing with Static Lookahead Analysis

  72. [ICSE'20]Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts

  73. [ICSE'20]Gap between Theory and Practice : An Empirical Study of Security Patches in Solidity

  74. [ICSE'20]Seraph: Enabling Cross-Platform Security Analysis For EVM and WASM Smart Contracts
  75. [APSEC'19]SIF A Framework for Solidity Contract Instrumentation and Analysis
  76. [APSEC'19]SolAnalyser A Framework for Analysing and Testing Smart contract
  77. [VSTTE'19]solc-verify：A Modular Verifier for Solidity SC
  78. [Arxive]SmartEmbed： A Tool for Clone and Bug Detection in Smart Contracts through Structural Code Embedding
  79. [CCS'19]HyperService：Interoperability and Programmability Across Heterogeneous Blockchains
  80. [CCS'19]Learning to Fuzz from Symbolic Execution with Application to Smart contracts
  81. [CCS'19]TokenScope Automatically Detecting Inconsistent Behaviors of Cryptocurrency Tokens in Ethereum
  82. [NDSS'19]Sereum：Protecting Existing Smart Contracts Against Re-Entrancy Attacks
  84. [ICDCS'19]Read-Uncommitted Transactions for SC performance
  85. [ICPC'19]Enabling Clone Detection For Ethereum via smart contract Birthmarks
  86. [ICPC'19]Towards Automated Testing of Blockchain-based Decentralized Application
  87. [RAID'19]Towards a First Step to Understand the Cryptocurrency Stealing Attack on Ethereum
  88. [IWBOSE'19]Potential Risks of Hyperledger Fabric Smart contracts
  89. [SANER'19]Towards Generating Cost-Effective Test-Suite for Ethereum Smart contract
  90. [SANER'19]EVM：From Offline Detection to Online Reinforcement for Ethereum Virtual Machine
  91. [ESEM'19]A Large-Scale Empirical Study on Control Flow Identification of Smart Contracts
  92. [ISSTA'19]Exploiting the Laws of Order in Smart Contracts
  93. [ISSTA'19]SAFEVM：A Sfety Verifier for Ethereum Smart contracts
  94. EVMFuzz：Differential fuzz testing of Ethereum Virtual Machine
  95. [IEEE transaction on SMC:systems]blockchain-enabled smart contracts: Architecture,applications, and future trends
  96. [PDP'19]Blockchain-Enabled Smart Contracts： Architecture, Applications, and Future Trends
  97. [security'19]The Art of The Scam： Demystifying Honeypots in Ethereum smart contracts
  98. [raid'19]Towards a First Step to Understand the Cryptocurrency Stealing Attack on Ethereum
  99. [Arxive'19'2]Precise Attack Synthesis for Smart Contracts
  100. [ICSE'19]EASYFLOW：Keep Ethereum Away From Overflow [shortpaper]
  101. [Arxive'19]Mutation Testing for Ethereum Smart Contract
  102. [PACMPL'18]Online detection of effectively callback Free Objects with Applications to Smart Contract
  103. [NDSS'18]Chainspace_A Sharded Smart Contracts Platform
  104. [NDSS'18]ZEUS_Analyzing Safety of Smart Contracts
  105. [ACSAC'18 ]Osiris Hunting for Integer Bugs in Ethereum Smart Contracts
  106. [ICSE'18]Towards Saving Money in Using Smart Contracts
  107. [ISPEC'17-bestpaper]An Adaptive Gas Cost Mechanism for Ethereum to Defend Against Under-Priced DoS Attacks
  108. [OOPSLA'18]MadMax-surviving out-of-gas conditions in Ethereum smart contracts
  109. [ACSAC'18]Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
  110. [ASE'18]ContractFuzzer： fuzzing smart contracts for vulnerability detection
  111. [Arxive'18]Towards Safer Smart Contracts：A Sequence Learning Approach to Detecting Vulnerabilities
  112. [ICSE'18]ReGuard：Finding Reentrancy Bugs in smart contracts [shortpaper]
  113. [ASE'18]S-Gram：Towards Semantic-Aware security auditing for Ethereum Smart Contract [shortpaper]
  114. [ESEC-FSE'18]EClone：Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch [shortpaper]
  115. [IMC'18]Analyzing Ethereum’s Contract Topology
  116. [SECURITY'18]teEther-Gnawing at Ethereum to Automatically Exploit Smart Contracts
  117. [SECURITY'18]Enter the Hydra-Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts
  118. [SECURITY'18]Arbitrum: Scalable Ethereum's Opaque Smart Contracts
  119. [CCS'18]Securify： Practical Security Analysis of Smart Contracts
  120. [WETSEB'18]SmartCheck：static analysis of ethereum smart contracts
  121. [CCS'18]BitML： a calculus for Bitcoin smart contracts
  122. [archive'18]Smart Contracts for Bribing Miners
  123. [Euro S&P'18]Ekiden-A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contract Execution
  124. [archive'18]Blockchain and Trusted Computing Problems, Pitfalls, and a Solution for Hyperledger Fabric
  125. [ARXIVE'18]Vandal： A Scalable Security Analysis Framework for smart contracts
  126. [ARXIVE'19]sCompile：Critical Path Identification and Analysis for smart contracts
  127. [Arxive]SmartEmbed： A Tool for Clone and Bug Detection in Smart Contracts through Structural Code Embedding
  128. [PODC'17]FruitChains: A Fair Blockchain
  129. [POST'17]A survey of attacks on Ethereum smart contracts
  130. [master thesis'17]Ethereum Smart Contracts_Security vulnerabilities and security Tools
  131. [SP'16]Hawk-The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
  132. [CCS'16]Making Smart Contracts Smarter
  133. [CCS'16]The ring of gyges_Investigating the Future of Criminal smart contracts
  134. [FC'16]Step by Step Towards Creating a Safe Smart Contract： Lessons and Insights from a Cryptocurrency Lab
  135. [CCS'15]Demystifying incentives in the concesnsus computer

更多推荐

Smart contract security Papers---智能合约安全论文

本文发布于:2023-06-13 23:26:00，感谢您对本站的认可！
本文链接:https://www.elefans.com/category/jswz/34/1415218.html
版权声明:本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系，我们将在24小时内删除。
本文标签：合约   智能   论文   contract   Smart

发布评论

评论列表 （有 0 条评论）

最近发表

草根站长

>www.elefans.com

编程频道|电子爱好者 - 技术资讯及电子产品介绍！

热门文章

标签列表