ETHBMC: A Bounded Model Checker for Smart Contracts
ETHBMC: A Bounded Model Checker for Smart Contracts 論文鏈接：https://www.usenix.org/conference/usenixsecurity20/presentation/frank 論文題目：ETHBMC 智能合約的邊界模型檢查器 參考文獻：Frank J, Aschermann C, Holz T. {ETHBMC}: A
相關文章
- 1. Smart Contracts
- 2. How--to-deploy-smart-contracts-on
- 3. ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks
- 4. 《Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts》 閱讀筆記
- 5. How To Write, Deploy, and Interact with Ethereum Smart Contracts on a Private Blockchain
- 6. 《Checking Smart Contracts with Structural Code Embedding》筆記
- 7. Bounded Biharmonic Weigths for Real-Time Deformation
- 8. A reflectance model for computer graphics
- 9. inspects a maven model for resolution problems
- 10. A Deep Reinforced Model for Abstractive Summarization
- 更多相關文章...
- • Scala for循環 - Scala教程
- • Lua for 循環 - Lua 教程
- • Flink 數據傳輸及反壓詳解
- • 常用的分佈式事務解決方案
相關標籤/搜索
每日一句
-
每一个你不满意的现在，都有一个你没有努力的曾经。
歡迎關注本站公眾號,獲取更多信息
相關文章
- 1. Smart Contracts
- 2. How--to-deploy-smart-contracts-on
- 3. ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks
- 4. 《Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts》 閱讀筆記
- 5. How To Write, Deploy, and Interact with Ethereum Smart Contracts on a Private Blockchain
- 6. 《Checking Smart Contracts with Structural Code Embedding》筆記
- 7. Bounded Biharmonic Weigths for Real-Time Deformation
- 8. A reflectance model for computer graphics
- 9. inspects a maven model for resolution problems
- 10. A Deep Reinforced Model for Abstractive Summarization