Source author record

Wanting Sun

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO Cryptography and Security

Catalog footprint

Research overview

3works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Sharp bounds on the $A_α$ -index of graphs in terms of the independence number

Given a graph $G$ , the adjacency matrix and degree diagonal matrix of $G$ are denoted by $A(G)$ and $D(G)$ , respectively. In 2017, Nikiforov \cite{0007} proposed the $A_α$ -matrix: $A_α(G)=αD(G)+(1-α)A(G),$ where $α\in [0, 1]$ . The largest eigenvalue of this novel matrix is called the $A_α$ -index of $G$ . In this paper, we characterize the graphs with minimum $A_α$ -index among $n$ -vertex graphs with independence number $i$ for $α\in[0,1)$ , where $i=1,\lfloor\frac{n}{2}\rfloor,\lceil\frac{n}{2}\rceil,{\lfloor\frac{n}{2}\rfloor+1},n-3,n-2,n-1,$ whereas for $i=2$ we consider the same problem for $α\in [0,\frac{3}{4}{]}.$ Furthermore, we determine the unique graph (resp. tree) on $n$ vertices with given independence number having the maximum $A_α$ -index with $α\in[0,1)$ , whereas for the $n$ -vertex bipartite graphs with given independence number, we characterize the unique graph having the maximum $A_α$ -index with $α\in[\frac{1}{2},1).$

preprint2021arXiv

An arithmetic criterion for graphs being determined by their generalized $A_α$ -spectrum

Let $G$ be a graph on $n$ vertices, its adjacency matrix and degree diagonal matrix are denoted by $A(G)$ and $D(G)$ , respectively. In 2017, Nikiforov \cite{0007} introduced the matrix $A_α(G)=αD(G)+(1-α)A(G)$ for $α\in [0, 1].$ The $A_α$ -spectrum of a graph $G$ consists of all the eigenvalues (including the multiplicities) of $A_α(G).$ A graph $G$ is said to be determined by the generalized $A_α$ -spectrum (or, DGA $_α$ S for short) if whenever $H$ is a graph such that $H$ and $G$ share the same $A_α$ -spectrum and so do their complements, then $H$ is isomorphic to $G$ . In this paper, when $α$ is rational, we present a simple arithmetic condition for a graph being DGA $_α$ S. More precisely, put $A_{c_α}:={c_α}A_α(G),$ here ${c_α}$ is the smallest positive integer such that $A_{c_α}$ is an integral matrix. Let $\tilde{W}_{α}(G)=\left[{\bf 1},\frac{A_{c_α}{\bf 1}}{c_α},\ldots, \frac{A_{c_α}^{n-1}{\bf 1}}{c_α}\right]$ , where ${\bf 1}$ denotes the all-ones vector. We prove that if $\frac{\det \tilde{W}_{α}(G)}{2^{\lfloor\frac{n}{2}\rfloor}}$ is an odd and square-free integer and the rank of $\tilde{W}_{α}(G)$ is full over $\mathbb{F}_p$ for each odd prime divisor $p$ of $c_α$ , then $G$ is DGA $_α$ S except for even $n$ and odd $c_α\,(\geqslant 3)$ . By our obtained results in this paper we may deduce the main results in \cite{0005} and \cite{0002}.

preprint2021arXiv

V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability

The out-of-gas error occurs when smart contract programs are provided with inputs that cause excessive gas consumption, and would be easily exploited to make the DoS attack. Multiple approaches have been proposed to estimate the gas limit of a function in smart contracts to avoid such error. However, under estimation often happens when the contract is complicated. In this work, we propose V-Gas, which could automatically generate inputs that maximizes the gas cost and reduce the under estimation cases. V-Gas is designed based on feedback-directed mutational fuzz testing. First, V-Gas builds the gas weighted control flow graph (CFG) of functions in smart contracts. Then, V-Gas develops gas consumption guided selection and mutation strategies to generate the input that maximize the gas consumption. For evaluation, we implement V-Gas based on js-evm, a widely used ethereum virtual machine written in javascript, and conduct experiments on 736 real-world transactions recorded on Ethereum. 44.02\% of the transactions would have out-of-gas errors under the estimation results given by solc, means that the recorded real gas consumption for those recorded transactions is larger than the gas limit value estimated by solc. While V-Gas could reduce the under estimation ratio to 13.86\%. Furthermore, V-Gas has exposed 25 previously unknown out-of-gas vulnerabilities in those widely-used smart contracts, 5 of which have been assigned unique CVE identifiers in the US National Vulnerability Database.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Wanting Sun

Research overview

Is this your work?

3 publications

Sharp bounds on the $A_α$ -index of graphs in terms of the independence number

An arithmetic criterion for graphs being determined by their generalized $A_α$ -spectrum

V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability

See the researcher in context

Building this map preview

Wanting Sun

Research overview

Is this your work?

3 publications

Sharp bounds on the AαA_αAα​-index of graphs in terms of the independence number

An arithmetic criterion for graphs being determined by their generalized AαA_αAα​-spectrum

V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability

See the researcher in context

Building this map preview

Sharp bounds on the $A_α$ -index of graphs in terms of the independence number

An arithmetic criterion for graphs being determined by their generalized $A_α$ -spectrum