Researcher profile

Zhiqiang Zuo

Zhiqiang Zuo contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 13 - UnverifiedVerification L1Unclaimed author
2works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

2 published item(s)

preprint2021arXiv

A Two-Functional-Network Framework of Opinion Dynamics

A common trait involving the opinion dynamics in social networks is an anchor on interacting network to characterize the opinion formation process among participating social actors, such as information flow, cooperative and antagonistic influence, etc. Nevertheless, interacting networks are generally public for social groups, as well as other individuals who may be interested in. This blocks a more precise interpretation of the opinion formation process since social actors always have complex feeling, motivation and behavior, even beliefs that are personally private. In this paper, we formulate a general configuration on describing how individual's opinion evolves in a distinct fashion. It consists of two functional networks: interacting network and appraisal network. Interacting network inherits the operational properties as DeGroot iterative opinion pooling scheme while appraisal network, forming a belief system, quantifies certain cognitive orientation to interested individuals' beliefs, over which the adhered attitudes may have the potential to be antagonistic. We explicitly show that cooperative appraisal network always leads to consensus in opinions. Antagonistic appraisal network, however, causes opinion cluster. It is verified that antagonistic appraisal network affords to guarantee consensus by imposing some extra restrictions. They hence bridge a gap between the consensus and the clusters in opinion dynamics. We further attain a gauge on the appraisal network by means of the random convex optimization approach. Moreover, we extend our results to the case of mutually interdependent issues.

preprint2020arXiv

SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection

CPU cache is a limited but crucial storage component in modern processors, whereas the cache timing side-channel may inadvertently leak information through the physically measurable timing variance. Speculative execution, an essential processor optimization, and a source of such variances, can cause severe detriment on deliberate branch mispredictions. Despite static analysis could qualitatively verify the timing-leakage-free property under speculative execution, it is incapable of producing endorsements including inputs and speculated flows to diagnose leaks in depth. This work proposes a new symbolic execution based method, SpecuSym, for precisely detecting cache timing leaks introduced by speculative execution. Given a program (leakage-free in non-speculative execution), SpecuSymsystematically explores the program state space, models speculative behavior at conditional branches, and accumulates the cache side effects along with subsequent path explorations. During the dynamic execution, SpecuSymconstructs leak predicates for memory visits according to the specified cache model and conducts a constraint-solving based cache behavior analysis to inspect the new cache behaviors. We have implementedSpecuSymatop KLEE and evaluated it against 15 open-source benchmarks. Experimental results show thatSpecuSymsuccessfully detected from 2 to 61 leaks in 6 programs under 3 different cache settings and identified false positives in 2 programs reported by recent work.