search

KTH / programmable-society

Home of course "Programmable Society" at KTH Royal Institute of Technology
16 stars 15 forks source link

academic surveys and reviews on smart contracts #20

Open monperrus opened 1 year ago

monperrus commented 1 year ago

Analysis of blockchain smart contracts: Techniques and insights IEEE SecDev 2020

monperrus commented 1 year ago

A Survey of Smart Contract Formal Specification and Verification. ACM Comput. Surv. 2022.

monperrus commented 1 year ago

Smart Contract Languages: A Multivocal Mapping Study ACM Comput. Surv. 2022.

monperrus commented 1 year ago

Legally Enforceable Smart-Contract Languages: A Systematic Literature Review https://github.com/KTH/programmable-society/issues/20

monperrus commented 1 year ago

A survey on smart contract vulnerabilities: Data sources, detection and repair IST 2023 https://www.sciencedirect.com/science/article/pii/S0950584923000757

monperrus commented 1 year ago

Ethereum smart contract analysis tools: A systematic review https://ieeexplore.ieee.org/abstract/document/9762279/ IEEE Access, 2022

monperrus commented 1 year ago

Security Threat Mitigation For Smart Contracts: A Comprehensive Survey https://dl.acm.org/doi/10.1145/3593293 ACM CSUR 2023

bbaudry commented 1 year ago

Non-fungible token: A systematic review and research agenda

monperrus commented 1 year ago

A survey of attacks on ethereum smart contracts https://eprint.iacr.org/2016/1007.pdf 2017

monperrus commented 7 months ago

A Survey of Ethereum Smart Contract Security: Attacks and Detection https://dl.acm.org/doi/pdf/10.1145/3643895 ACM DLT 2024

monperrus commented 6 days ago

A Survey on Security Analysis Methods of Smart Contracts https://www.computer.org/csdl/journal/sc/5555/01/10683998/20lm4WmcwrS IEEE Transactions on Services Computing