most citedDetection Made Easy: Potentials of Large Language Models for Solidity Vulnerabilities

2 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2024

Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment

Kartik Kaushik, Raju Halder, Samrat Mondal

Invariants are essential for ensuring the security and correctness of Solidity smart contracts, particularly in the context of blockchain's immutability and decentralized execution…