solidity
![](/assets/document.png)
Papers (25)
# | Title | |
1. | Slither: a static analysis framework for smart contracts Feist, Josselin and Grieco, Gustavo and Groce, Alex. 2019. ![]() ![]() | |
2. | Smart contracts: security patterns in the ethereum ecosystem and solidity Wohrer, Maximilian and Zdun, Uwe. 2018. | |
3. | VeriSolid: Correct-by-Design Smart Contracts for Ethereum Mavridou, Anastasia and Laszka, Aron and Stachtiari, Emmanouela and Dubey, Abhishek. 2019. | |
4. | Proof-of-Work Sidechains Kiayias, Aggelos and Zindros, Dionysis. 2018. | |
5. | solc-verify: A Modular Verifier for Solidity Smart Contracts Hajdu, \'Akos and Jovanovi\'c, Dejan. 2019. | |
6. | GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts Albert, Elvira and Correas, Jes\'us and Gordillo, Pablo and Rom\'an-D\'\iez, Guillermo and Rubio, Albert. 2019. | |
7. | Smt-based verification of solidity smart contracts Alt, Leonardo and Reitwiessner, Christian. 2018. | |
8. | SmartBugs: A Framework to Analyze Solidity Smart Contracts Ferreira, Jo\~ao F and Cruz, Pedro and Durieux, Thomas and Abreu, Rui. 2020. ![]() | |
9. | Ethereum smart contracts: Security vulnerabilities and security tools Dika, Ardit. 2017. | |
10. | Domain Specific Language for Smart Contract Development W\"ohrer, Maximilian and Zdun, Uwe. 2020. | |
11. | MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract Zhang, William and Banescu, Sebastian and Pasos, Leodardo and Stewart, Steven and Ganesh, Vijay. 2019. | |
12. | Deviant: A Mutation Testing Tool for Solidity Smart Contracts Chapman, Patrick. 2019. | |
13. | A minimal core calculus for Solidity contracts Bartoletti, Massimo and Galletta, Letterio and Murgia, Maurizio. 2019. | |
14. | IELE: a rigorously designed language and tool ecosystem for the blockchain Kasampalis, Theodoros and Guth, Dwight and Moore, Brandon and Șerb\uanuț\ua, Traian Florin and Zhang, Yi and Filaretti, Daniele and Șerb\uanuț\ua, Virgil and Johnson, Ralph and Ro\csu, Grigore. 2019. ![]() ![]() | |
15. | A minimal core calculus for Solidity contracts Bartoletti, Massimo and Galletta, Letterio and Murgia, Maurizio. 2019. | |
16. | Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity Antonino, Pedro and Roscoe, AW. 2020. | |
17. | Executable Operational Semantics of Solidity Jiao, Jiao and Kan, Shuanglong and Lin, Shang-Wei and Sanan, David and Liu, Yang and Sun, Jun. 2018. | |
18. | WIP: Finding Bugs Automatically in Smart Contracts with Parameterized Invariants Bernardi, Thomas and Dor, Nurit and Fedotov, Anastasia and Grossman, Shelly and Immerman, Neil and Jackson, Daniel and Nutz, Alex and Oppenheim, Lior and Pistiner, Or and Rinetzky, Noam and others. 2020. | |
19. | Formal Verification of Solidity contracts in Event-B Zhu, Jian and Hu, Kai and Filali, Mamoun and Bodeveix, Jean-Paul and Talpin, Jean-Pierre. 2020. | |
20. | Formal Specification and Verification of Solidity Contracts with Events Hajdu, Akos and Jovanovic, Dejan and Ciocarlie, Gabriela. 2020. | |
21. | GASTAP: A Gas Analyzer for Smart Contracts Albert, Elvira and Gordillo, Pablo and Rubio, Albert and Sergey, Ilya. 2018. | |
22. | Practical Mutation Testing for Smart Contracts Honig, Joran J and Everts, Maarten H and Huisman, Marieke. 2019. | |
23. | Smashing ethereum smart contracts for fun and real profit Mueller, Bernhard. 2018. ![]() ![]() | |
24. | Verifiable Computation using Smart Contracts Avizheh, Sepideh and Nabi, Mahmudun and Safavi-Naini, Reihaneh and Venkateswarlu K, Muni. 2019. | |
25. | GasMet: Profiling Gas Leaks in the Deployment of Solidity Smart Contracts Canfora, Gerardo and Di Sorbo, Andrea and Laudanna, Sonia and Vacca, Anna and Visaggio, Corrado A. 2020. |
Videos
–
Links
–