Titlebook: Blockchain and Web3.0 Technology Innovation and Application; First Conference, BW Gansen Zhao,Jian Weng,Zibin Zheng Conference proceedings

混沌

CESS

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

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

Diatribe

,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

Thymus

,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

Jingoism

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.

产生

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.