BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Qiang Zeng

Qiang Zeng appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.OAmath.PRmath.FACryptography and SecurityDatabasesquant-phDistributed, Parallel, and Cluster Computingmath-phmath.MPNetworking and Internet ArchitectureSoftware Engineering

Catalog footprint

What is connected

14works
11topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

14 published item(s)

preprint2022arXiv

Complexity of Gaussian random fields with isotropic increments

We study the energy landscape of a model of a single particle on a random potential, that is, we investigate the topology of level sets of smooth random fields on $\mathbb R^{N}$ of the form $X_N(x) +\frac\mu2 \|x\|^2,$ where $X_{N}$ is a Gaussian process with isotropic increments. We derive asymptotic formulas for the mean number of critical points with critical values in an open set as the dimension $N$ goes to infinity. In a companion paper, we provide the same analysis for the number of critical points with a given index.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

One-way Einstein-Podolsky-Rosen steering beyond qubits

Quantum steering has been exploited as an important resource in modern quantum information processing. Owing to its directional nature, some quantum states that are asymmetric under the exchange of parties have been found to manifest steering only in specific direction, thus called one-way steering. Existing works focused on one-way steering in systems of qubits. Here we propose a family of two-party states that are one-way steerable in systems of $d$-dimension. In particular, we validate the one-way steerability of the states for $d=3$, and demonstrate how one-way steering parameter space manifests in two-qutrit system. A general numerical approach for characterizing higher-dimensional one-way steering is provided. Moreover, we develop a method to characterize one-way steering with the experimental loss taken into account, with which the tradeoff relation between losses and measurement settings in steering test in higher-dimensional system is investigated. Our loss-counted model works for finite-dimensional system with finite measurement settings.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Reliable experimental certification of one-way Einstein-Podolsky-Rosen steering

Quantum steering is a recently-defined form of quantum correlation which lies at the heart of quantum mechanics. In difference from other types of quantum correlations, quantum steering is inherently asymmetric, which implies that it could manifest in one direction but not in the opposite direction. This rather peculiar phenomenon, known as one-way steering, have been demonstrated in several experiments, but subtlety remains. In fact all experiments were shown to be ambiguous until a very recent conclusive one, which however made a crucial use of a high dimensional embedding to get around assumptions. This leaves the question open whether the one-way steering phenomenon can be reliably demonstrated in the genuine two-qubit system. Here, we report such an experimental demonstration of one-way steering for a family of two-qubit states. Our experimental setup and results thus resolve the subtlety caused by fidelity assumption in previous experiments without the need of higher dimensional embedding. Moreover, our work provides a universal method to characterize one-way steering phenomenon for generic two-qubit states.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Cross-App Interference Threats in Smart Homes: Categorization, Detection and Handling

A number of Internet of Things (IoTs) platforms have emerged to enable various IoT apps developed by third-party developers to automate smart homes. Prior research mostly concerns the overprivilege problem in the permission model. Our work, however, reveals that even IoT apps that follow the principle of least privilege, when they interplay, can cause unique types of threats, named Cross-App Interference (CAI) threats. We describe and categorize the new threats, showing that unexpected automation, security and privacy issues may be caused by such threats, which cannot be handled by existing IoT security mechanisms. To address this problem, we present HOMEGUARD, a system for appified IoT platforms to detect and cope with CAI threats. A symbolic executor module is built to precisely extract the automation semantics from IoT apps. The semantics of different IoT apps are then considered collectively to evaluate their interplay and discover CAI threats systematically. A user interface is presented to users during IoT app installation, interpreting the discovered threats to help them make decisions. We evaluate HOMEGUARD via a proof-of-concept implementation on Samsung SmartThings and discover many threat instances among apps in the SmartThings public repository. The evaluation shows that it is precise, effective and efficient.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

POKs Based Secure and Energy-Efficient Access Control for Implantable Medical Devices

Implantable medical devices (IMDs), such as pacemakers, implanted cardiac defibrillators, and neurostimulators are medical devices implanted into patients' bodies for monitoring physiological signals and performing medical treatments. Many IMDs have built-in wireless communication modules to facilitate data collecting and device reprogramming by external programmers. The wireless communication brings significant conveniences for advanced applications such as real-time and remote monitoring but also introduces the risk of unauthorized wireless access. The absence of effective access control mechanisms exposes patients' life to cyber attacks. In this paper, we present a lightweight and universally applicable access control system for IMDs. By leveraging Physically Obfuscated Keys (POKs) as the hardware root of trust, provable security is achieved based on standard cryptographic primitives while attaining high energy efficiency. In addition, barrier-free IMD access under emergent situations is realized by utilizing the patient's biometrical information. We evaluate our proposed scheme through extensive security analysis and a prototype implementation, which demonstrates our work's superiority on security and energy efficiency.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Context-aware System Service Call-oriented Symbolic Execution of Android Framework with Application to Exploit Generation

Android Framework is a layer of software that exists in every Android system managing resources of all Android apps. A vulnerability in Android Framework can lead to severe hacks, such as destroying user data and leaking private information. With tens of millions of Android devices unpatched due to Android fragmentation, vulnerabilities in Android Framework certainly attract attackers to exploit them. So far, enormous manual effort is needed to craft such exploits. To our knowledge, no research has been done on automatic generation of exploits that take advantage of Android Framework vulnerabilities. We make a first step towards this goal by applying symbolic execution of Android Framework to finding bugs and generating exploits. Several challenges have been raised by the task. (1) The information of an app flows to Android Framework in multiple intricate steps, making it difficult to identify symbolic inputs. (2) Android Framework has a complex initialization phase, which exacerbates the state space explosion problem. (3) A straightforward design that builds the symbolic executor as a layer inside the Android system will not work well: not only does the implementation have to ensure the compatibility with the Android system, but it needs to be maintained whenever Android gets updated. We present novel ideas and techniques to resolve the challenges, and have built the first system for symbolic execution of Android Framework. It fundamentally changes the state of the art in exploit generation on the Android system, and has been applied to constructing new techniques for finding vulnerabilities.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

An application of free transport to mixed $q$-Gaussian algebras

We consider the mixed $q$-Gaussian algebras introduced by Speicher which are generated by the variables $X_i=l_i+l_i^*,i=1,\ldots,N$, where $l_i^* l_j-q_{ij}l_j l_i^*=δ_{i,j}$ and $-1<q_{ij}=q_{ji}<1$. Using the free monotone transport theorem of Guionnet and Shlyakhtenko, we show that the mixed $q$-Gaussian von Neumann algebras are isomorphic to the free group von Neumann algebra $L(\mathbb{F}_N)$, provided that $\max_{i,j}|q_{ij}|$ is small enough. The proof relies on some estimates which are generalizations of Dabrowski's results for the special case $q_{ij}\equiv q$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Hybrid Ant Colony Algorithm Clonal Selection in the Application of the Cloud's Resource Scheduling

In this paper, thinking over characteristics of ant colony optimization Algorithm, taking into account the characteristics of cloud computing, combined with clonal selection algorithm (CSA) global optimum advantage of the convergence of the clonal selection algorithm (CSA) into every ACO iteration, speeding up the convergence rate, and the introduction of reverse mutation strategy, ant colony optimization algorithm avoids local optimum. Depth study of the cloud environment ant colony clonal selection algorithm resource scheduling policy, clonal selection algorithm converges to solve optimization problems when sufficient condition for global optimal solution based on clonal selection algorithm for various applications such as BCA and CLONALG algorithm, using these sufficient condition to meet and simulation platform CloudSim achieve a simulation by extending the cloud. Experimental results show that this task can be shortened fusion algorithm running time cloud environment, improve resource utilization. Demonstrate the effectiveness of the method.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Noncommutative Bennett and Rosenthal inequalities

In this paper we extend the Bernstein, Prohorov and Bennett inequalities to the noncommutative setting. In addition we provide an improved version of the noncommutative Rosenthal inequality, essentially due to Nagaev, Pinelis and Pinelis, Utev for commutative random variables. We also present new best constants in Rosenthal's inequality. Applying these results to random Fourier projections, we recover and elaborate on fundamental results from compressed sensing, due to Candes, Romberg and Tao.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Noncommutative martingale deviation and Poincaré type inequalities with applications

We prove a deviation inequality for noncommutative martingales by extending Oliveira's argument for random matrices. By integration we obtain a Burkholder type inequality with satisfactory constant. Using continuous time, we establish noncommutative Poincaré type inequalities for "nice" semigroups with a positive curvature condition. These results allow us to prove a general deviation inequality and a noncommutative transportation inequality due to Bobkov and Götze in the commutative case. To demonstrate our setting is general enough, we give various examples, including certain group von Neumann algebras, random matrices and classical diffusion processes, among others.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Poincaré type inequalities for group measure spaces and related transportation cost inequalities

Let $G$ be a countable discrete group with an orthogonal representation $α$ on a real Hilbert space $H$. We prove $L_p$ Poincaré inequalities for the group measure space $L_\infty(Ω_H,γ)\rtimes G$, where both the group action and the Gaussian measure space $(Ω_H, γ)$ are associated with the representation $α$. The idea of proof comes from Pisier's method on the boundedness of Riesz transform and Lust-Piquard's work on spin systems. Then we deduce a transportation type inequality from the $L_p$ Poincaré inequalities in the general noncommutative setting. This inequality is sharp up to a constant (in the Gaussian setting). Several applications are given, including Wiener/Rademacher chaos estimation and new examples of Rieffel's compact quantum metric spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data

As data are increasingly modeled as graphs for expressing complex relationships, the tree pattern query on graph-structured data becomes an important type of queries in real-world applications. Most practical query languages, such as XQuery and SPARQL, support logical expressions using logical-AND/OR/NOT operators to define structural constraints of tree patterns. In this paper, (1) we propose generalized tree pattern queries (GTPQs) over graph-structured data, which fully support propositional logic of structural constraints. (2) We make a thorough study of fundamental problems including satisfiability, containment and minimization, and analyze the computational complexity and the decision procedures of these problems. (3) We propose a compact graph representation of intermediate results and a pruning approach to reduce the size of intermediate results and the number of join operations -- two factors that often impair the efficiency of traditional algorithms for evaluating tree pattern queries. (4) We present an efficient algorithm for evaluating GTPQs using 3-hop as the underlying reachability index. (5) Experiments on both real-life and synthetic data sets demonstrate the effectiveness and efficiency of our algorithm, from several times to orders of magnitude faster than state-of-the-art algorithms in terms of evaluation time, even for traditional tree pattern queries with only conjunctive operations.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Comments on "Stack-based Algorithms for Pattern Matching on DAGs"

The paper "Stack-based Algorithms for Pattern Matching on DAGs" generalizes the classical holistic twig join algorithms and proposes PathStackD, TwigStackD and DagStackD to respectively evaluate path, twig and DAG pattern queries on directed acyclic graphs. In this paper, we investigate the major results of that paper, pointing out several discrepancies and proposing solutions to resolving them. We show that the original algorithms do not find particular types of query solutions that are common in practice. We also analyze the effect of an underlying assumption on the correctness of the algorithms and discuss the pre-filtering process that the original work proposes to prune redundant nodes. Our experimental study on both real and synthetic data substantiates our conclusions.

0 citations0 reviewsNo code linkedOpen access