| Dynamic vulnerability detection on smart contracts using machine learning M Eshghie, C Artho, D Gurov Proceedings of the 25th International Conference on Evaluation and …, 2021 | 65 | 2021 |
| ChatGPT as a therapist assistant: a suitability study M Eshghie, M Eshghie arXiv preprint arXiv:2304.09873, 2023 | 16 | 2023 |
| CircleChain: Tokenizing products with a role-based scheme for a circular economy M Eshghie, L Quan, GA Kasche, F Jacobson, C Bassi, C Artho arXiv preprint arXiv:2205.11212, 2022 | 7 | 2022 |
| Capturing Smart Contract Design with DCR Graphs M Eshghie, W Ahrendt, C Artho, TT Hildebrandt, G Schneider Software Engineering and Formal Methods 14323 (LNCS), 106–125, 2023 | 6 | 2023 |
| DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts G Morello, M Eshghie, S Bobadilla, M Monperrus arXiv preprint arXiv:2403.16861, 2024 | 3 | 2024 |
| CLawK: Monitoring Business Processes in Smart Contracts M Eshghie, W Ahrendt, C Artho, TT Hildebrandt, G Schneider arXiv preprint arXiv:2305.08254, 2023 | 3 | 2023 |
| Quell: lightweight load-balancing scheme for 6TiSCH IoT networks M Eshghie, N Yazdani 2018 9th International Symposium on Telecommunications (IST), 23-27, 2018 | 2 | 2018 |
| Oracle-guided vulnerability diversity and exploit synthesis of smart contracts using llms M Eshghie, C Artho Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | 1 | 2024 |
| Highguard: Cross-chain business logic monitoring of smart contracts M Eshghie, C Artho, H Stammler, W Ahrendt, TT Hildebrandt, G Schneider 2024 39th IEEE/ACM International Conference on Automated Software …, 2024 | 1 | 2024 |
| SoliDiffy: AST Differencing for Solidity Smart Contracts M Eshghie, V Åryd, C Artho, M Monperrus arXiv preprint arXiv:2411.07718, 2024 | | 2024 |
| From Creation to Exploitation: The Oracle Lifecycle M Eshghie, M Jafari, C Artho 2024 IEEE International Conference on Software Analysis, Evolution and …, 2024 | | 2024 |
| Two-Layer Action-Authorizated Network of Tokens M Eshghie, G Andersson Kasche https://raw.githubusercontent.com/UniversalTokenForest/UniversalTokenForest …, 2022 | | 2022 |
| Formalization and Verification of Smart Contracts Using DCR Graphs M Eshghie, W Ahrendt, C Artho, T Troels | | |
| Smart Contract Invariant Synthesis and Mining M Eshghie, G Morello, GA Kasche, M Monperrus, G Schneider | | |
Cyrille ArthoKTH Royal Institute of Technology, Swedenכתובת אימייל מאומתת בדומיין kth.se
