Towards securing smart contracts systematically
Smart contracts are a groundbreaking technique that allows users to programmatically modify the state of the blockchain. They are essentially self-enforcing programs that are deployed and executed on top of the blockchain. In recent years, we have witnessed various smart contract incidents that led...
محفوظ في:
المؤلف الرئيسي: | NGUYEN, Duy Tai |
---|---|
التنسيق: | text |
اللغة: | English |
منشور في: |
Institutional Knowledge at Singapore Management University
2023
|
الموضوعات: | |
الوصول للمادة أونلاين: | https://ink.library.smu.edu.sg/etd_coll/546 https://ink.library.smu.edu.sg/context/etd_coll/article/1544/viewcontent/GPIS_AY2019_PhD_Nguyen_Duy_Tai.pdf |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
المؤسسة: | Singapore Management University |
اللغة: | English |
مواد مشابهة
-
SGUARD: Towards fixing vulnerable smart contracts automatically
بواسطة: NGUYEN, Tai D., وآخرون
منشور في: (2021) -
TOWARDS SECURE SMART CONTRACTS: A DEEP LEARNING APPROACH FOR DETECTING SECURITY THREATS
بواسطة: TAMER ABDELAZIZ ABDELMEGID MOHAMED
منشور في: (2024) -
A generalized formal semantic framework for smart contracts
بواسطة: JIAO, Jiao, وآخرون
منشور في: (2020) -
Towards automated safety vetting of smart contracts in decentralized applications
بواسطة: DUAN, Yue, وآخرون
منشور في: (2022) -
Smart contract development: Challenges and opportunities
بواسطة: ZOU, Weiqin, وآخرون
منشور في: (2021)