FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3127818531> ?p ?o ?g. }

• W3127818531 abstract "As smart contracts gain adoption in financial transactions, it becomes increasingly important to ensure that they are free of bugs and security vulnerabilities. Of particular relevance in this context are arithmetic overflow bugs, as integers are often used to represent financial assets like account balances. Motivated by this observation, this paper presents SolType, a refinement type system for Solidity that can be used to prevent arithmetic over- and under-flows in smart contracts. SolType allows developers to add refinement type annotations and uses them to prove that arithmetic operations do not lead to over- and under-flows. SolType incorporates a rich vocabulary of refinement terms that allow expressing relationships between integer values and aggregate properties of complex data structures. Furthermore, our implementation, called Solid, incorporates a type inference engine and can automatically infer useful type annotations, including non-trivial contract invariants. To evaluate the usefulness of our type system, we use Solid to prove arithmetic safety of a total of 120 smart contracts. When used in its fully automated mode (i.e., using Solid's type inference capabilities), Solid is able to eliminate 86.3% of redundant runtime checks used to guard against overflows. We also compare Solid against a state-of-the-art arithmetic safety verifier called VeriSmart and show that Solid has a significantly lower false positive rate, while being significantly faster in terms of verification time." @default.
• W3127818531 created "2021-02-15" @default.
• W3127818531 creator A5024713117 @default.
• W3127818531 creator A5085721523 @default.
• W3127818531 date "2021-11-22" @default.
• W3127818531 modified "2023-10-18" @default.
• W3127818531 title "Towards a Throughput and Energy Efficient Association Strategy for Wi-Fi/LiFi Heterogeneous Networks" @default.
• W3127818531 cites W2587706859 @default.
• W3127818531 cites W2592232824 @default.
• W3127818531 cites W2737047298 @default.
• W3127818531 cites W2739761758 @default.
• W3127818531 cites W2755577605 @default.
• W3127818531 cites W2765811365 @default.
• W3127818531 cites W2772024431 @default.
• W3127818531 cites W2790072229 @default.
• W3127818531 cites W2792520336 @default.
• W3127818531 cites W2798553619 @default.
• W3127818531 cites W2798575809 @default.
• W3127818531 cites W2798583514 @default.
• W3127818531 cites W2805080735 @default.
• W3127818531 cites W2805613995 @default.
• W3127818531 cites W2807869636 @default.
• W3127818531 cites W2808062989 @default.
• W3127818531 cites W2810399501 @default.
• W3127818531 cites W2884460600 @default.
• W3127818531 cites W2895749211 @default.
• W3127818531 cites W2899901572 @default.
• W3127818531 cites W2902017744 @default.
• W3127818531 cites W2908757886 @default.
• W3127818531 cites W2910603373 @default.
• W3127818531 cites W2910883248 @default.
• W3127818531 cites W2917343039 @default.
• W3127818531 cites W2921353139 @default.
• W3127818531 cites W2923456422 @default.
• W3127818531 cites W2939645724 @default.
• W3127818531 cites W2954388914 @default.
• W3127818531 cites W2962770929 @default.
• W3127818531 cites W2962785568 @default.
• W3127818531 cites W2962793481 @default.
• W3127818531 cites W2962827684 @default.
• W3127818531 cites W2963073614 @default.
• W3127818531 cites W2963100452 @default.
• W3127818531 cites W2963115481 @default.
• W3127818531 cites W2963185411 @default.
• W3127818531 cites W2963278610 @default.
• W3127818531 cites W2963320782 @default.
• W3127818531 cites W2963364701 @default.
• W3127818531 cites W2963391470 @default.
• W3127818531 cites W2963435050 @default.
• W3127818531 cites W2963470893 @default.
• W3127818531 cites W2963522749 @default.
• W3127818531 cites W2963626105 @default.
• W3127818531 cites W2963667985 @default.
• W3127818531 cites W2963767194 @default.
• W3127818531 cites W2963800363 @default.
• W3127818531 cites W2963917969 @default.
• W3127818531 cites W2964261768 @default.
• W3127818531 cites W2964337551 @default.
• W3127818531 cites W2964339532 @default.
• W3127818531 cites W2964833232 @default.
• W3127818531 cites W2982763192 @default.
• W3127818531 cites W2988149145 @default.
• W3127818531 cites W2990452356 @default.
• W3127818531 cites W2996627077 @default.
• W3127818531 cites W3000996870 @default.
• W3127818531 cites W3009262613 @default.
• W3127818531 cites W3010003739 @default.
• W3127818531 cites W3014702863 @default.
• W3127818531 cites W3015698767 @default.
• W3127818531 cites W3017300133 @default.
• W3127818531 cites W3020995211 @default.
• W3127818531 cites W3024079478 @default.
• W3127818531 cites W3026802938 @default.
• W3127818531 cites W3030681797 @default.
• W3127818531 cites W3034371424 @default.
• W3127818531 cites W3035169015 @default.
• W3127818531 cites W3035231706 @default.
• W3127818531 cites W3035382289 @default.
• W3127818531 cites W3035413889 @default.
• W3127818531 cites W3035574324 @default.
• W3127818531 cites W3035581100 @default.
• W3127818531 cites W3035653890 @default.
• W3127818531 cites W3095487666 @default.
• W3127818531 cites W3098643866 @default.
• W3127818531 cites W3109331060 @default.
• W3127818531 cites W3109432287 @default.
• W3127818531 cites W3112539661 @default.
• W3127818531 cites W3120602499 @default.
• W3127818531 cites W3126434301 @default.
• W3127818531 cites W3128607711 @default.
• W3127818531 cites W3133373026 @default.
• W3127818531 cites W3161810785 @default.
• W3127818531 cites W3173841311 @default.
• W3127818531 cites W4214545063 @default.
• W3127818531 doi "https://doi.org/10.1145/3479240.3488514" @default.
• W3127818531 hasPublicationYear "2021" @default.
• W3127818531 type Work @default.
• W3127818531 sameAs 3127818531 @default.
• W3127818531 citedByCount "88" @default.
• W3127818531 countsByYear W31278185312019 @default.

• next