Hao Zhang 0004

dblp:55/2270-4 · DBLP profile ↗
← Back
25ranked-venue papers
9as first author
2since 2021 · last 2024
0000-0002-4643-5152ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Computer networks · 16 · 6 first-authorArtificial intelligence and machine learning · 2 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1Human-computer interaction and ubiquitous computing · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
1 paper
Blockchain and cryptocurrency security · 100%
Software engineering, system software, and programming languages
1 paper
Program synthesis and code generation · 100%
Artificial intelligence
1 paper
Reinforcement learning · 77% Knowledge representation and reasoning · 23%
Computer networks
1 paper
Physical-layer communications · 92% Wireless networking · 8%

Topics — the 12 heaviest of 12, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Blockchain and cryptocurrency security › decentralized finance
decentralized finance security
0.812024
DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications · ISSTA 2024
Blockchain and cryptocurrency security
smart contract security
0.812024
DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications · ISSTA 2024
Blockchain and cryptocurrency security › smart contract security
vulnerability detection
0.812024
DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications · ISSTA 2024
Machine learning › Reinforcement learning
deep reinforcement learning
0.612022
GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis · NeurIPS 2022
Program synthesis and code generation
logic program synthesis
0.612022
GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis · NeurIPS 2022
Program synthesis and code generation › syntax-guided synthesis
sketch-based synthesis
0.612022
GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis · NeurIPS 2022
Knowledge, reasoning and agents › Knowledge representation and reasoning
logic-based reasoning
0.212022
GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis · NeurIPS 2022
Physical-layer communications
modulation
0.112005
Pulse Position Amplitude Modulation for Time-Hopping Multiple-Access UWB Communications · IEEE Trans. Commun. 2005
Physical-layer communications › modulation
pulse position modulation
0.112005
Pulse Position Amplitude Modulation for Time-Hopping Multiple-Access UWB Communications · IEEE Trans. Commun. 2005
Physical-layer communications › spread spectrum
ultra-wideband communication
0.112005
Pulse Position Amplitude Modulation for Time-Hopping Multiple-Access UWB Communications · IEEE Trans. Commun. 2005
Wireless networking
medium access control
0.012005
Pulse Position Amplitude Modulation for Time-Hopping Multiple-Access UWB Communications · IEEE Trans. Commun. 2005
Physical-layer communications › multiple access
time-hopping multiple access
0.012005
Pulse Position Amplitude Modulation for Time-Hopping Multiple-Access UWB Communications · IEEE Trans. Commun. 2005

Methods — techniques the papers use, named apart from their topics

program sketch · 1.1logic synthesis · 1.1hybrid program language · 1.1profit calculation · 0.8on-chain detection · 0.8behavior modeling · 0.8error probability bounds · 0.1channel capacity analysis · 0.1
YearPublicationVenuePosition
2024 DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
abstract
Although Decentralized Finance (DeFi) applications facilitate tamper-proof transactions among multiple anonymous users, since attackers can access the smart contract bytecode directly, vulnerabilities in the transaction mechanism, contract code, or third-party components can be easily exploited to manipulate token prices, leading to financial losses. Since price manipulation often relies on specific states and complex trading sequences, existing detection tools have limitations in addressing this problem. In addition, to swiftly identify the root cause of an attack and implement targeted defense and remediation measures, auditors typically prioritize understanding the methodology behind the attack, emphasizing 'how' it occurred rather than simply confirming its existence. To address these problems, this paper presents a novel automatic price manipulation detection and analysis framework, named DeFort, which contains a price manipulation behavior model to guide on-chain detection, multiple price monitoring strategies to detect pools with abnormal token prices, and various profit calculation mechanisms to confirm attacks. Based on behavioral models, DeFort can automatically locate transactions and functions that cause abnormal price fluctuations and identify attackers and victims. Experimental results demonstrate that DeFort can outperform state-of-the-art price manipulation detection methods. Furthermore, after monitoring 441 real-world projects for two months, DeFort successfully detected five price manipulation attacks.
Maoyi Xie, Ming Hu 0003, Ziqiao Kong, Cen Zhang, Yebo Feng, Haijun Wang 0002, Yue Xue, Hao Zhang 0004, Ye Liu 0012, Yang Liu 0003
ISSTA8
2022 GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis
abstract
Despite achieving superior performance in human-level control problems, unlike humans, deep reinforcement learning (DRL) lacks high-order intelligence (e.g., logic deduction and reuse), thus it behaves ineffectively than humans regarding learning and generalization in complex problems. Previous works attempt to directly synthesize a white-box logic program as the DRL policy, manifesting logic-driven behaviors. However, most synthesis methods are built on imperative or declarative programming, and each has a distinct limitation, respectively. The former ignores the cause-effect logic during synthesis, resulting in low generalizability across tasks. The latter is strictly proof-based, thus failing to synthesize programs with complex hierarchical logic. In this paper, we combine the above two paradigms together and propose a novel Generalizable Logic Synthesis (GALOIS) framework to synthesize hierarchical and strict cause-effect logic programs. GALOIS leverages the program sketch and defines a new sketch-based hybrid program language for guiding the synthesis. Based on that, GALOIS proposes a sketch-based program synthesis method to automatically generate white-box programs with generalizable and interpretable cause-effect logic. Extensive evaluations on various decision-making tasks with complex logic demonstrate the superiority of GALOIS over mainstream baselines regarding the asymptotic performance, generalizability, and great knowledge reusability across different environments.
Yushi Cao, Tianpei Yang, Hao Zhang 0004, Yan Zheng 0002, Yi Li 0008, Jianye Hao, Yang Liu 0003
NeurIPS4
2020 An improved method for TOA analysis in MMW systems
Hao Zhang 0004
Wirel. Networks3
2019 A Two-Channel Constrained Power Inversion Algorithm for the Beidou Navigation Satellite System
abstract
Conventional interference suppression techniques based on scalar antenna array may not be effective, when the satellite and interference signals have similar directions of arrival. In this paper, a power inversion (PI) algorithm with a novel constraint is proposed which is applied to electromagnetic vector sensor (EMVS) arrays and improve the performance of the standard PI algorithm. Interference with different polarization parameters than the satellite signal can be suppressed even when they have the same incident direction. A fast implement scheme is designed for the proposed algorithm and is effective for the Beidou satellite system public service signal.
Yiheng Jin, Hao Zhang 0004, T. Aaron Gulliver
GLOBECOM2
2019 Remotely detectable signs of life based on impulse UWB radar
Hao Zhang 0004
Multim. Tools Appl.2
2018 Detailed analysis of energy detection-based millimetre-wave time-of-arrival measurement system
abstract
Millimetre‐wave (MMW) in 60 GHz extremely high‐frequency band is deemed as a promising technique in indoor localisation based on its high multipath resolution, which can achieve higher measurement precision than ultra‐wideband system. To reduce the positioning errors, this study presents a new threshold determination scheme based on the extreme learning machine by analysing the characteristics of the received MMW pulses from the energy detector receiver. For each given signal‐to‐noise ratio, the thresholds are examined. The impacts on ranging accuracy are analysed due to the integration periods and propagation models. Results show the developed method can extensively improve the ranging precision.
Tingting Lyu, Guigeng Li, Hao Zhang 0004, T. Aaron Gulliver
IET Commun.5
2017 Extreme learning machine for 60 GHz millimetre wave positioning
abstract
Extreme learning machine (ELM) has attracted considerable attention in recent years due to its numerous applications in classification and regression. In this study, the authors investigate the performance of an ELM‐based threshold selection algorithm for 60 GHz millimetre wave time of arrival estimation using energy detector (ED). A hybrid metric based on the skewness, kurtosis, standard deviation, and slope of the ED values is employed. The optimal normalised threshold for different signal‐to‐noise ratios (SNRs) is investigated, and the effects of the integration period and channel model are examined. Performance results are presented which show that the proposed ELM‐based algorithm provides high precision and better robustness than existing techniques over a wide range of SNRs for the IEEE 802.15.3c CM1.1 and CM2.1 channel models. Further, the performance is largely independent of the integration period and channel model.
Hao Zhang 0004, T. Aaron Gulliver
IET Commun.2
2017 An UWB ranging method based on wavelet packet decomposition
Juan Li 0009, Xue-rong Cui, Hao Zhang 0004, T. Aaron Gulliver
Neurocomputing3
2017 Joint TAS and power allocation for D2D cooperative networks
Lingwei Xu, Hao Zhang 0004, T. Aaron Gulliver
Peer-to-Peer Netw. Appl.2
2017 Joint TAS/SC and power allocation for IAF relaying D2D cooperative networks
Lingwei Xu, Hao Zhang 0004, Jingjing Wang 0003, T. Aaron Gulliver
Wirel. Networks2
2016 Generalised selection at multi-antenna sources in two-way relay networks
abstract
A generalised selection transmission (GST) and generalised selection combining (GSC) scheme is proposed for two‐way relay networks where two multi‐antenna sources exchange information via a single‐antenna relay. New exact and asymptotic expressions are derived for the outage probability and symbol error rate (SER) in Rayleigh fading. Moreover, a tight upper bound on the ergodic sum‐rate is presented. These results are used to demonstrate that the proposed GST/GSC scheme preserves the full diversity order, which equals the minimum number of antennas at the two sources. It is also shown that the impact of the number of selected antennas lies in the array gain only. Furthermore, the GST/GSC scheme significantly improves the performance relative to single‐antenna selection, and only incurs a negligible reduction in performance relative to all‐antenna beamforming. Finally, the optimal relay location that minimises the SER is determined analytically. It is observed that the optimal relay location shifts towards one source when the number of selected or available antennas at the other source increases.
Xinjie Wang 0001, Nan Yang 0006, Hao Zhang 0004, Tiep Minh Hoang, T. Aaron Gulliver
IET Commun.3
2016 Performance analysis of threshold digital relaying M2M cooperative networks
Lingwei Xu, Hao Zhang 0004
Wirel. Networks2
2014 Secure Cooperative Communication with Nth Best Relay Selection
abstract
In this paper, we investigate the performance of Nth best relay selection networks with secrecy constraints where several eavesdroppers try to overhear the source message. In order to enhance the network security, a single jammer is introduced to jam the eavesdroppers. In addition, sub-optimal selection strategy is introduced to combat the malicious attempt of eavesdroppers. We derive the exact secrecy performance in terms of probability of the non-zero secrecy capacity and the secrecy outage probability of the proposed relay selection approach. Based on these expressions, the effect of several important network parameters, i.e., the number of relays and the number of eavesdroppers, as well as the quality of the relay links, jammer links, and eavesdroppers links, on the proposed network are analytically characterized.
Xinjie Wang 0001, Hao Zhang 0004, Trung Quang Duong, Maged Elkashlan, Vo Nguyen Quoc Bao
VTC Spring2
2013 Pulse waveforms for 60 GHz M-ary pulse position modulation communication systems
abstract
Pulse waveforms for 60 GHz impulse radio (IR) communication systems are investigated. The power spectral densities of the pulses are examined for compliance with Federal Communications Commission (FCC) spectral regulations. The error probability and capacity of M ‐ary pulse position modulation (PPM) 60 GHz IR systems with a correlation receiver using different pulse waveforms are analysed. Both orthogonal and non‐orthogonal PPM is considered with additive white Gaussian noise and IEEE 802.15.3c channel models. Analytical and simulation results are presented, which show that an autocorrelation function that decays quickly provides a lower probability of error and better capacity. Among the pulse waveforms examined in this study, the truncated sinc pulse is the best in terms of compliance with FCC regulations and the PPM error probability and capacity.
Hao Zhang 0004, T. Aaron Gulliver
IET Commun.1
2012 Performance of DPPAM UWB Communication Systems over Indoor Fading Channels
abstract
Differential pulse position amplitude modulation (DPPAM) is considered in an ultra wideband (UWB) communication system. DPPAM combines differential pulse position modulation (DPPM) and pulse amplitude modulation (PAM) to provide good performance with low computational complexity. The DPPAM UWB signal is derived from that of pulse position amplitude modulation (PPAM). The frame error rate (FER) of MN- ary DPPAM systems over additive white Gaussian noise (AWGN) and indoor fading channels is analyzed. The results show that the FER performance with 2N-ary DPPAM is better than that with 2N-ary DPPM and PPM, and MN-ary (M>;2) DPPAM provides a good compromise between FER and complexity.
Hao Zhang 0004, T. Aaron Gulliver
VTC Fall2
2011 Threshold Selection for Ultra-Wideband TOA Estimation Based on Skewness Analysis
Hao Zhang 0004, Xue-rong Cui, T. Aaron Gulliver
UIC1
2006 Capacity and error probability analysis of orthogonal space-time block codes over correlated nakagami fading channels
abstract
In this letter, system capacity and error probability of orthogonal space-time block coding (STBC) is considered for PAM/PSK/QAM modulation in correlated Nakagami fading channels. The approach is based on an equivalent scalar AWGN (additive white Gaussian noise) channel with a channel gain proportional to the Frobenius norm of the matrix channel for the STBC. Closed form capacity and error probability expressions are derived for Nakagami fading channels. Numerical results are given to illustrate the theory.
Wei Li 0007, Hao Zhang 0004, T. Aaron Gulliver
IEEE Trans. Wirel. Commun.2
2005 Performance and capacity of ultra-wideband transmission with pulse position amplitude modulation over multipath fading channels
abstract
Recently, pulse position amplitude modulation (PPAM) has been proposed for ultra-wideband (UWB) communication systems. PPAM combines pulse position modulation (PPM) and pulse amplitude modulation (PAM) to provide better performance and higher system capacity with low computational complexity. A RAKE receiver can make use of the rich multipath of UWB systems to improve system performance and capacity. In this paper we present the performance and capacity of a time hopping (TH) UWB system with PPAM modulation and RAKE reception over a practical multipath fading channel. Error probability and a union bound on performance, single user capacity and a capacity/distance bound based on FCC Part 15 rules, are derived. This analysis is extended to the multiple access case. Numerical results are given to illustrate the analysis.
Wei Li 0007, T. Aaron Gulliver, Hao Zhang 0004
GLOBECOM3
2005 Error probability of orthogonal space time block codes over correlated Rayleigh and Rician channels
abstract
In this paper, the error probability of orthogonal space-time block coding (STBC) is considered in correlated flat fading channels. The approach is based on an equivalent scalar AWGN (additive white Gaussian noise) channel. Closed form error probability expressions are derived for PSK/PAM/QAM on correlated fading channels.
Hao Zhang 0004, Wei Li 0007, T. Aaron Gulliver
WCNC1
2005 Capacity of orthogonal space time block codes over correlated Rayleigh and Rician channels
abstract
In this paper, the capacity of orthogonal space-time block coding (STBC) is considered for PAM/PSK/QAM modulation in correlated flat fading channels. The approach is based on an equivalent scalar AWGN (additive white Gaussian noise) channel with a channel gain proportional to the Frobenius norm of the matrix channel for STBC.
Hao Zhang 0004, Wei Li 0007, T. Aaron Gulliver
WiMob (1)1
2005 Pulse Position Amplitude Modulation for Time-Hopping Multiple-Access UWB Communications
abstract
In this letter, we propose a new modulation scheme called pulse position amplitude modulation (PPAM) for ultra-wideband (UWB) communication systems. PPAM combines pulse position modulation and pulse amplitude modulation to provide good system performance and low computational complexity. The channel capacity of PPAM is determined for a time-hopping multiple-access UWB communication system. The error probability and performance bounds are derived for a multiuser environment.
Hao Zhang 0004, Wei Li 0007, T. Aaron Gulliver
IEEE Trans. Commun.1
2005 Biorthogonal pulse position modulation for time-hopping multiple access UWB communications
abstract
In this paper, we propose a new modulation scheme called biorthogonal pulse position modulation (BPPM) for ultra-wideband (UWB) communication systems. A set of N=2/sup k+1/ BPPM signals are constructed from 2/sup k/ orthogonal PPM signals by including the antipodal version of the orthogonal PPM signals. The channel capacity of BPPM is determined for a time-hopping multiple access UWB communication system. The error probability and performance bounds are derived for a multiuser environment. It is shown that N-ary BPPM has better performance than N-ary PPM with the same throughput and half the computational complexity.
Hao Zhang 0004, T. Aaron Gulliver
IEEE Trans. Wirel. Commun.1
2004 Closed form capacity expressions for space time block codes over fading channels
abstract
The Shannon capacity of orthogonal space-time block codes (STBC) is considered for Rayleigh, Ricean and Nakagami-m uncorrelated fading channels and correlated Rayleigh fading channels. In this paper, STBC capacity expressions are derived for several fading channels. The Shannon capacity of a multiple antenna wireless system over a fading channel with continuous-valued inputs and continuous-valued outputs can be obtained.
Hao Zhang 0004, T. Aaron Gulliver
ISIT1
2004 Error probability for maximum ratio combining multichannel reception of M-ary coherent systems over flat Ricean fading channels
abstract
In this paper, we develop a simple closed-form series expression for the error probability of maximum ratio combining (MRC) multichannel reception of M-ary coherent systems over flat Ricean fading channels. This series expansion provides a simple and numerically efficient mean of calculating the error probability with controlled accuracy. M-ary PAM, PSK and QAM systems are investigated.
Hao Zhang 0004, T. Aaron Gulliver
WCNC1
2004 Pulse position amplitude modulation for time-hopping multiple access UWB communications
abstract
In this paper, we propose a new modulation scheme called pulse amplitude position modulation (PPAM) for ultra-wideband (UWB) communication systems. PPAM combines pulse position modulation (PPM) and pulse amplitude modulation (PAM) to provide good system performance and low computational complexity. A set of MN-ary, M=2/sup k/, N=2/sup N/. PPAM signals are constructed from N-ary orthogonal PPM signals by including M-ary PAM signals in each dimension. It is shown that MN-ary PPAM has better performance than MN-ary PAM and less complexity than MN-ary PPM for MN>2. The channel capacity of PPAM is determined for a time-hopping multiple access UWB communication system. The error probability and performance bounds are derived for a multiuser environment. In particular, it is shown that for M=2. 2N-ary PPAM signals have better performance than 2N-ary PPM with the same throughput and half the computational complexity.
Hao Zhang 0004, T. Aaron Gulliver
WCNC1