arXiv subjects

Minghui Xu

Publications and source records attributed to Minghui Xu.

104 records · Page 6Linked to original sources

arXiv2022

SPDL: Blockchain-secured and Privacy-preserving Decentralized Learning

Decentralized learning involves training machine learning models over remote mobile devices, edge servers, or cloud servers while keeping data localized. Even though many studies have shown the feasibility of preserving privacy, enhancing training performance or introducing Byzantine resilience, but none of them simultaneously considers all of them. Therefore we face the following problem: \textit{how can we efficiently coordinate the decentralized learning process while simultaneously maintaining learning security and data privacy?} To address this issue, in this paper we propose SPDL, a blockchain-secured and privacy-preserving decentralized learning scheme. SPDL integrates blockchain, Byzantine Fault-Tolerant (BFT) consensus, BFT Gradients Aggregation Rule (GAR), and differential privacy seamlessly into one system, ensuring efficient machine learning while maintaining data privacy, Byzantine fault tolerance, transparency, and traceability. To validate our scheme, we provide rigorous analysis on convergence and regret in the presence of Byzantine nodes. We also build a SPDL prototype and conduct extensive experiments to demonstrate that SPDL is effective and efficient with strong security and privacy guarantees.

cs.CR↗

arXiv2022

Extending On-chain Trust to Off-chain -- Trustworthy Blockchain Data Collection using Trusted Execution Environment (TEE)

Blockchain creates a secure environment on top of strict cryptographic assumptions and rigorous security proofs. It permits on-chain interactions to achieve trustworthy properties such as traceability, transparency, and accountability. However, current blockchain trustworthiness is only confined to on-chain, creating a "trust gap" to the physical, off-chain environment. This is due to the lack of a scheme that can truthfully reflect the physical world in a real-time and consistent manner. Such an absence hinders further real-world blockchain applications, especially for security-sensitive ones. In this paper, we propose a scheme to extend blockchain trust from on-chain to off-chain, and take trustworthy vaccine transportation as an example. Our scheme consists of 1) a Trusted Execution Environment (TEE)-enabled trusted environment monitoring system built with the Arm Cortex-M33 microcontroller that continuously senses the inside of a vaccine box through trusted sensors and generates anti-forgery data; and 2) a consistency protocol to upload the environment status data from the TEE system to blockchain in a truthful, real-time consistent, continuous and fault-tolerant fashion. Our security analysis indicates that no adversary can tamper with the vaccine in any way without being captured. We carry out an experiment to record the internal status of a vaccine shipping box during transportation, and the results indicate that the proposed system incurs an average latency of 84 ms in local sensing and processing followed by an average latency of 130 ms to have the sensed data transmitted to and available in the blockchain.

cs.CR↗

arXiv2021

Blockchain and Federated Edge Learning for Privacy-Preserving Mobile Crowdsensing

Mobile crowdsensing (MCS) counting on the mobility of massive workers helps the requestor accomplish various sensing tasks with more flexibility and lower cost. However, for the conventional MCS, the large consumption of communication resources for raw data transmission and high requirements on data storage and computing capability hinder potential requestors with limited resources from using MCS. To facilitate the widespread application of MCS, we propose a novel MCS learning framework leveraging on blockchain technology and the new concept of edge intelligence based on federated learning (FL), which involves four major entities, including requestors, blockchain, edge servers and mobile devices as workers. Even though there exist several studies on blockchain-based MCS and blockchain-based FL, they cannot solve the essential challenges of MCS with respect to accommodating resource-constrained requestors or deal with the privacy concerns brought by the involvement of requestors and workers in the learning process. To fill the gaps, four main procedures, i.e., task publication, data sensing and submission, learning to return final results, and payment settlement and allocation, are designed to address major challenges brought by both internal and external threats, such as malicious edge servers and dishonest requestors. Specifically, a mechanism design based data submission rule is proposed to guarantee the data privacy of mobile devices being truthfully preserved at edge servers; consortium blockchain based FL is elaborated to secure the distributed learning process; and a cooperation-enforcing control strategy is devised to elicit full payment from the requestor. Extensive simulations are carried out to evaluate the performance of our designed schemes.

cs.CR↗

arXiv2021

CloudChain: A Cloud Blockchain Using Shared Memory Consensus and RDMA

Blockchain technologies can enable secure computing environments among mistrusting parties. Permissioned blockchains are particularly enlightened by companies, enterprises, and government agencies due to their efficiency, customizability, and governance-friendly features. Obviously, seamlessly fusing blockchain and cloud computing can significantly benefit permissioned blockchains; nevertheless, most blockchains implemented on clouds are originally designed for loosely-coupled networks where nodes communicate asynchronously, failing to take advantages of the closely-coupled nature of cloud servers. In this paper, we propose an innovative cloud-oriented blockchain -- CloudChain, which is a modularized three-layer system composed of the network layer, consensus layer, and blockchain layer. CloudChain is based on a shared-memory model where nodes communicate synchronously by direct memory accesses. We realize the shared-memory model with the Remote Direct Memory Access technology, based on which we propose a shared-memory consensus algorithm to ensure presistence and liveness, the two crucial blockchain security properties countering Byzantine nodes. We also implement a CloudChain prototype based on a RoCEv2-based testbed to experimentally validate our design, and the results verify the feasibility and efficiency of CloudChain.

cs.DC↗

arXiv2021

wChain: A Fast Fault-Tolerant Blockchain Protocol for Multihop Wireless Networks

This paper presents $\mathit{wChain}$, a blockchain protocol specifically designed for multihop wireless networks that deeply integrates wireless communication properties and blockchain technologies under the realistic SINR model. We adopt a hierarchical spanner as the communication backbone to address medium contention and achieve fast data aggregation within $O(\log N\logΓ)$ slots where $N$ is the network size and $Γ$ refers to the ratio of the maximum distance to the minimum distance between any two nodes. Besides, $\mathit{wChain}$ employs data aggregation and reaggregation, and node recovery mechanisms to ensure efficiency, fault tolerance, persistence, and liveness. The worst-case runtime of $\mathit{wChain}$ is upper bounded by $O(f\log N\logΓ)$, where $f=\lfloor \frac{N}{2} \rfloor$ is the upper bound of the number of faulty nodes. To validate our design, we conduct both theoretical analysis and simulation studies, and the results only demonstrate the nice properties of $\mathit{wChain}$, but also point to a vast new space for the exploration of blockchain protocols in wireless networks.

cs.DC↗

arXiv2020

Tokoin: A Coin-Based Accountable Access Control Scheme for Internet of Things

With the prevalence of Internet of Things (IoT) applications, IoT devices interact closely with our surrounding environments, bringing us unparalleled smartness and convenience. However, the development of secure IoT solutions is getting a long way lagged behind, making us exposed to common unauthorized accesses that may bring malicious attacks and unprecedented danger to our daily life. Overprivilege attack, a widely reported phenomenon in IoT that accesses unauthorized or excessive resources, is notoriously hard to prevent, trace and mitigate. To tackle this challenge, we propose Tokoin-Based Access Control (TBAC), an accountable access control model enabled by blockchain and Trusted Execution Environment (TEE) technologies, to offer fine-graininess, strong auditability, and access procedure control for IoT. TBAC materializes the virtual access power into a definite-amount and secure cryptographic coin termed "tokoin" (token+coin), and manages it using atomic and accountable state-transition functions in a blockchain. We also realize access procedure control by mandating every tokoin a fine-grained access policy defining who is allowed to do what at when in where by how. The tokoin is peer-to-peer transferable, and can be modified only by the resource owner when necessary. We fully implement TBAC with well-studied cryptographic primitives and blockchain platforms and present a readily available APP for regular users. We also present a case study to demonstrate how TBAC is employed to enable autonomous in-home cargo delivery while guaranteeing the access policy compliance and home owner's physical security by regulating the physical behaviors of the deliveryman.

cs.CR↗

arXiv2017

Theory of the crossover from lasing to steady state superradiance

Lasing and steady state superradiance are two phenomena that may appear at first glance to be distinct. In a laser, phase information is maintained by a macroscopic intracavity light field, and the robustness of this phase is what leads to the coherence of the output light. In contrast, the coherence of steady-state superradiant systems derives from the macroscopic collective dipole of a many-atom ensemble. In this paper, we develop a quantum theory that connects smoothly between these two extreme limits. We show that lasing and steady-state superradiance should be thought of as the two extreme limits of a continuous crossover. The properties of systems that lie in the superradiance, lasing, and crossover parameter regions are compared. We find that for a given output intensity a narrower linewidth can be obtained by operating closer to the superradiance side of the crossover. We also find that the collective phase is robust against cavity frequency fluctuations in the superradiant regime and against atomic level fluctuations in the lasing regime.

quant-ph↗

arXiv2017

Semiclassical theory of synchronization-assisted cooling

We analyse the dynamics leading to radiative cooling of an atomic ensemble confined inside an optical cavity when the atomic dipolar transitions are incoherently pumped and can synchronize. Our study is performed in the semiclassical regime and assumes that cavity decay is the largest rate in the system dynamics. We identify three regimes characterising the cooling. At first hot atoms are individually cooled by the cavity friction forces. After this stage, the atoms' center-of-mass motion is further cooled by the coupling to the internal degrees of freedom while the dipoles synchronize. In the latest stage dipole-dipole correlations are stationary and the center-of-mass motion is determined by the interplay between friction and dispersive forces due to the coupling with the collective dipole. We analyse this asymptotic regime by means of a mean-field model and show that the width of the momentum distribution can be of the order of the photon recoil. Furthermore, the internal excitations oscillate spatially with the cavity standing wave forming an antiferromagnetic-like order.

quant-ph↗

arXiv2016

Steady-state superradiance with Rydberg polaritons

A steady-state superradiant laser can be used to generate ultranarrow-linewidth light, and thus has important applications in the fields of quantum information and precision metrology. However, the light produced by such a laser is still essentially classical. Here, we show that the introduction of a Rydberg medium into a cavity containing atoms with a narrow optical transition can lead to the steady-state superradiant emission of ultranarrow-linewidth $nonclassical$ light. The cavity nonlinearity induced by the Rydberg medium strongly modifies the superradiance threshold, and leads to a Mollow triplet in the cavity output spectrum$-$this behavior can be understood as an unusual analogue of resonance fluorescence. The cavity output spectrum has an extremely sharp central peak, with a linewidth that can be far narrower than that of a classical superradiant laser. This unprecedented spectral sharpness, together with the nonclassical nature of the light, could lead to new applications in which spectrally pure $quantum$ light is desired.

quant-ph↗

arXiv2015

Supercooling of Atoms in an Optical Resonator

We investigate laser cooling of an ensemble of atoms in an optical cavity. We demonstrate that when atomic dipoles are sychronized in the regime of steady-state superradiance, the motion of the atoms may be subject to a giant frictional force leading to potentially very low temperatures. The ultimate temperature limits are determined by a modified atomic linewidth, which can be orders of magnitude smaller than the cavity linewidth. The cooling rate is enhanced by the superradiant emission into the cavity mode allowing reasonable cooling rates even for dipolar transitions with ultranarrow linewidth.

quant-ph↗

arXiv2015

Synchronization of Interacting Quantum Dipoles

Macroscopic ensembles of radiating dipoles are ubiquitous in the physical and natural sciences. In the classical limit the dipoles can be described as damped-driven oscillators, which are able to spontaneously synchronize and collectively lock their phases. Here we investigate the correspond- ing phenomenon in the quantum regime with arrays of quantized two-level systems coupled via long-range and anisotropic dipolar interactions. Our calculations demonstrate that the dipoles may overcome the decoherence induced by quantum fluctuations and inhomogeneous couplings and evolve to a synchronized steady-state. This steady-state bears much similarity to that observed in classical systems, and yet also exhibits genuine quantum properties such as quantum correlations and quan- tum phase diffusion (reminiscent of lasing). Our predictions could be relevant for the development of better atomic clocks and a variety of noise tolerant quantum devices.

quant-ph↗

arXiv2014

Conditional Ramsey Spectroscopy with Synchronized Atoms

We investigate Ramsey spectroscopy performed on a synchronized ensemble of two-level atoms. The synchronization is induced by the collective coupling of the atoms to a heavily damped mode of an optical cavity. We show that, in principle, with this synchronized system it is possible to observe Ramsey fringes indefinitely, even in the presence of spontaneous emission and other sources of individual-atom dephasing. This could have important consequences for atomic clocks and a wide range of precision metrology applications.

quant-ph↗

arXiv2013

Quantum Synchronization of Two Ensembles of Atoms

We propose a system for observing the correlated phase dynamics of two mesoscopic ensembles of atoms through their collective coupling to an optical cavity. We find a dynamical quantum phase transition induced by pump noise and cavity output-coupling. The spectral properties of the superradiant light emitted from the cavity show that at a critical pump rate the system undergoes a transition from the independent behavior of two disparate oscillators to the phase-locking that is the signature of quantum synchronization.

quant-ph↗

arXiv2013

Simulating open quantum systems by applying SU(4) to quantum master equations

We show that open quantum systems of two-level atoms symmetrically coupled to a single-mode photon field can be efficiently simulated by applying a SU(4) group theory to quantum master equations. This is important since many foundational examples in quantum optics fall into this class. We demonstrate the method by finding exact solutions for many-atom open quantum systems such as lasing and steady state superradiance.

quant-ph↗