混沌 发表于 2025-3-30 09:51:27
http://reply.papertrans.cn/20/1928/192733/192733_51.pngCESS 发表于 2025-3-30 15:48:50
Springer Series in Computational Mathematicsead to substantial financial losses. This paper describes SolSecure, a framework based on abstract interpretation theory [., .], designed to find integer bugs in Ethereum smart contracts. Experimental results show that SolSecure can effectively detect integer vulnerabilities in Solidity smart contracts.Constituent 发表于 2025-3-30 16:47:48
Second-Order Differential Inclusions,emely popular at present. In our scheme, it is applied to secret sharing, so that the secret sharing group has a high comprehensive computational efficiency in the cases of distributing secrets, recovering secrets, and dynamically changing threshold value.Conflagration 发表于 2025-3-30 20:51:05
http://reply.papertrans.cn/20/1928/192733/192733_54.pngDiatribe 发表于 2025-3-31 02:52:27
,Behavioral Unicity: On the Limits of Anonymized Social Behavior Metadata,eidentify users from the anonymized social behavior metadata, achieving a unicity of .. This indicates that the current widespread collection of social behavior metadata brings a high risk of privacy breaches.Kaleidoscope 发表于 2025-3-31 05:24:05
http://reply.papertrans.cn/20/1928/192733/192733_56.pngThymus 发表于 2025-3-31 12:09:18
,SolSecure: A Security Analyzer for Integer Bugs in Smart Contracts,ead to substantial financial losses. This paper describes SolSecure, a framework based on abstract interpretation theory [., .], designed to find integer bugs in Ethereum smart contracts. Experimental results show that SolSecure can effectively detect integer vulnerabilities in Solidity smart contracts.remission 发表于 2025-3-31 13:22:52
http://reply.papertrans.cn/20/1928/192733/192733_58.pngJingoism 发表于 2025-3-31 19:16:24
Privacy Protection Model of International Cold Chain Trade Blockchain Platform Based on Zero-Knowles such as homomorphic encryption and zero-knowledge proofs to ensure data immutability while guaranteeing the authenticity and privacy of platform data. We analyzed the performance and security of the proposed system. The experimental results show that the scheme proposed in this paper is feasible.产生 发表于 2025-4-1 01:07:51
Differential and Difference Potentialspropose a blockchain-based system named BBP, which can trace biological asset original and adduction samples. Our research provides a new direction for biological asset information management and improves the security of biological asset management.