arXiv subjects

Bo Feng

Publications and source records attributed to Bo Feng.

At least 73 records · Page 4Linked to original sources

arXiv2021

Spatial Attention-based Non-reference Perceptual Quality Prediction Network for Omnidirectional Images

Due to the strong correlation between visual attention and perceptual quality, many methods attempt to use human saliency information for image quality assessment. Although this mechanism can get good performance, the networks require human saliency labels, which is not easily accessible for omnidirectional images (ODI). To alleviate this issue, we propose a spatial attention-based perceptual quality prediction network for non-reference quality assessment on ODIs (SAP-net). To drive our SAP-net, we establish a large-scale IQA dataset of ODIs (IQA-ODI), which is composed of subjective scores of 200 subjects on 1,080 ODIs. In IQA-ODI, there are 120 high quality ODIs as reference, and 960 ODIs with impairments in both JPEG compression and map projection. Without any human saliency labels, our network can adaptively estimate human perceptual quality on impaired ODIs through a self-attention manner, which significantly promotes the prediction performance of quality scores. Moreover, our method greatly reduces the computational complexity in quality assessment task on ODIs. Extensive experiments validate that our network outperforms 9 state-of-the-art methods for quality assessment on ODIs. The dataset and code have been available on \url{ https://github.com/yanglixiaoshen/SAP-Net}.

eess.IV↗

arXiv2021

DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis

Microcontroller-based embedded devices are at the core of Internet-of-Things and Cyber-Physical Systems. The security of these devices is of paramount importance. Among the approaches to securing embedded devices, dynamic firmware analysis gained great attention lately, thanks to its offline nature and low false-positive rates. However, regardless of the analysis and emulation techniques used, existing dynamic firmware analyzers share a major limitation, namely the inability to handle firmware using DMA. It severely limits the types of devices supported and firmware code coverage. We present DICE, a drop-in solution for firmware analyzers to emulate DMA input channels and generate or manipulate DMA inputs. DICE is designed to be hardware-independent, and compatible with common MCU firmware and embedded architectures. DICE identifies DMA input channels as the firmware writes the source and destination DMA transfer pointers into the DMA controller. Then DICE manipulates the input transferred through DMA on behalf of the firmware analyzer. We integrated DICE to the firmware analyzer P2IM (Cortex-M architecture) and a PIC32 emulator (MIPS M4K/M-Class architecture). We evaluated it on 83 benchmarks and sample firmware, representing 9 different DMA controllers from 5 different vendors. DICE detected 33 out of 37 DMA input channels, with 0 false positives. It correctly supplied DMA inputs to 21 out of 22 DMA buffers, which previous firmware analyzers cannot achieve due to the lack of DMA emulation. DICE's overhead is fairly low, it adds 3.4% on average to P2IM execution time. We also fuzz-tested 7 real-world firmware using DICE and compared the results with the original P2IM. DICE uncovered tremendously more execution paths (as much as 79X) and found 5 unique previously-unknown bugs that are unreachable without DMA emulation. All our source code and dataset are publicly available.

cs.CR↗

arXiv2020

Glyph: Fast and Accurately Training Deep Neural Networks on Encrypted Data

Big data is one of the cornerstones to enabling and training deep neural networks (DNNs). Because of the lack of expertise, to gain benefits from their data, average users have to rely on and upload their private data to big data companies they may not trust. Due to the compliance, legal, or privacy constraints, most users are willing to contribute only their encrypted data, and lack interests or resources to join the training of DNNs in cloud. To train a DNN on encrypted data in a completely non-interactive way, a recent work proposes a fully homomorphic encryption (FHE)-based technique implementing all activations in the neural network by \textit{Brakerski-Gentry-Vaikuntanathan (BGV)}-based lookup tables. However, such inefficient lookup-table-based activations significantly prolong the training latency of privacy-preserving DNNs. In this paper, we propose, Glyph, a FHE-based scheme to fast and accurately train DNNs on encrypted data by switching between TFHE (Fast Fully Homomorphic Encryption over the Torus) and BGV cryptosystems. Glyph uses logic-operation-friendly TFHE to implement nonlinear activations, while adopts vectorial-arithmetic-friendly BGV to perform multiply-accumulation (MAC) operations. Glyph further applies transfer learning on the training of DNNs to improve the test accuracy and reduce the number of MAC operations between ciphertext and ciphertext in convolutional layers. Our experimental results show Glyph obtains the state-of-the-art test accuracy, but reduces the training latency by $99\%$ over the prior FHE-based technique on various encrypted datasets.

cs.LG↗

arXiv2020

Expansion of EYM Amplitudes in Gauge Invariant Vector Space

Motivated by the problem of expanding single-trace tree-level amplitude of Einstein-Yang-Mills theory to the BCJ basis of Yang-Mills amplitudes, we present an alternative expansion formula in the gauge invariant vector space. Starting from a generic vector space consisting of polynomials of momenta and polarization vectors, we define a new sub-space as gauge invariant vector space by imposing constraints of gauge invariant conditions. To characterize this sub-space, we compute its dimension and construct an explicit gauge invariant basis from it. We propose an expansion formula in the gauge invariant basis with expansion coefficients being linear combinations of Yang-Mills amplitude, manifesting the gauge invariance of both expansion basis and coefficients. With help of quivers, we compute the expansion coefficients via differential operators and demonstrate the general expansion algorithm by several examples.

hep-th↗

arXiv2020

Note on the Labelled tree graphs

In the CHY-frame for the tree-level amplitudes, the bi-adjoint scalar theory has played a fundamental role because it gives the on-shell Feynman diagrams for all other theories. Recently, an interesting generalization of the bi-adjoint scalar theory has been given in arXiv:1708.08701 by the "Labelled tree graphs", which carries a lot of similarity comparing to the bi-adjoint scalar theory. In this note, we have investigated the Labelled tree graphs from two different angels. In the first part of the note, we have shown that we can organize all cubic Feynman diagrams produces by the Labelled tree graphs to the "effective Feynman diagrams". In the new picture, the pole structure of the whole theory is more manifest. In the second part, we have generalized the action of "picking pole" in the bi-adjoint scalar theory to general CHY-integrands which produce only simple poles.

hep-th↗

arXiv2020

The noncommutativity of the static and homogeneous limit of the axial chemical potential in chiral magnetic effect

We study the noncommutativity of different orders of zero energy-momentum limit pertaining to the axial chemical potential in the chiral magnetic effect. While this noncommutativity issue originates from the pinching singularity at one-loop order, it cannot be removed by introducing a damping term to the fermion propagators. The physical reason is that modifying the propagator alone would violate the axial-vector Ward identity and as a result a modification of the longitudinal component of the axial-vector vertex is required, which contributes to CME. The pinching singularity with free fermion propagators was then taken over by the singularity stemming from the dressed axial-vector vertex. We show this mechanism by a concrete example. Moreover, we proved in general the vanishing CME in the limit order that the static limit was taken prior to the homogeneous limit in the light of Coleman-Hill theorem for a static external magnetic field. For the opposite limit that the homogeneous limit is taken first, we show that the nonvanishing CME was a consequence of the nonrenormalizability of chiral anomaly for an arbitrary external magnetic field.

hep-ph↗

arXiv2020

Using Reports of Own and Others' Symptoms and Diagnosis on Social Media to Predict COVID-19 Case Counts: Observational Infoveillance Study in Mainland China

Can public social media data be harnessed to predict COVID-19 case counts? We analyzed approximately 15 million COVID-19 related posts on Weibo, a popular Twitter-like social media platform in China, from November 1, 2019 to March 31, 2020. We developed a machine learning classifier to identify "sick posts," which are reports of one's own and other people's symptoms and diagnosis related to COVID-19. We then modeled the predictive power of sick posts and other COVID-19 posts on daily case counts. We found that reports of symptoms and diagnosis of COVID-19 significantly predicted daily case counts, up to 14 days ahead of official statistics. But other COVID-19 posts did not have similar predictive power. For a subset of geotagged posts (3.10% of all retrieved posts), we found that the predictive pattern held true for both Hubei province and the rest of mainland China, regardless of unequal distribution of healthcare resources and outbreak timeline. Researchers and disease control agencies should pay close attention to the social media infosphere regarding COVID-19. On top of monitoring overall search and posting activities, it is crucial to sift through the contents and efficiently identify true signals from noise.

cs.SI↗

arXiv2020

Lack of Debye and Meissner screening in strongly magnetized quark matter at intermediate densities

We study the static responses of cold quark matter in the intermediate baryonic density region (characterized by a chemical potential $μ$) in the presence of a strong magnetic field. We consider in particular, the so-called Magnetic Dual Chiral Density Wave (MDCDW) phase, which is materialized by an inhomogeneous condensate formed by a particle-hole pair. It is shown, that the MDCDW phase is more stable in the weak-coupling regime than the one considered in the magnetic catalysis of chiral symmetry braking phenomenon (MC$χ$SB) and even than the chiral symmetric phase that was expected to be realized at sufficiently high baryonic chemical potential. The different components of the photon polarization operator of the MDCDW phase in the one-loop approximation are calculated. We found that in the MDCDW phase there is no Debye screening neither Meissner effect in the lowest-Landau-level approximation. The obtained Debye length depends on the amplitude $m$ and modulation $b$ of the inhomogeneous condensate and it is only different from zero if the relation $| μ-b| > m$ holds. But, we found that in the region of interest this inequality is not satisfied. Thus, no Debye screening takes place under those conditions. On the other hand, since the particle-hole condensate is electrically neutral, the U(1) electromagnetic group is not broken by the ground state and consequently there is no Meissner effect. These results can be of interest for the astrophysics of neutron stars.

hep-ph↗

arXiv2019

Expansion of Einstein-Yang-Mills theory by Differential Operators

The factorization form of the integrands in the Cachazo-He-Yuan (CHY) formalism makes the generalized Kawai-Lewellen-Tye (KLT) relations manifest, thus amplitudes of one theory can be expanded in terms of the amplitudes of another theory. Although this claim seems a rather natural consequence of the above structure, finding the exact expansion coefficients to express an amplitude in terms of another amplitudes is, nonetheless, a nontrivial task despite many efforts devoted to it in the literature. In this paper, we propose a new strategy based in using the differential operators introduced by Cheung, Shen and Wen, and taking advantage of the fact these operators already relate the amplitudes of different theories. Using this new method, expansion coefficients can be found effectively.

hep-th↗

arXiv2019

OAT: Attesting Operation Integrity of Embedded Devices

Due to the wide adoption of IoT/CPS systems, embedded devices(IoT frontends) become increasingly connected and mission-critical, which in turn has attracted advanced attacks (e.g., control-flow hijacks and data-only attacks). Unfortunately, IoT backends are unable to detect if such attacks have happened while receiving data, service requests, or operation status from IoT devices. As a result, currently, IoT backends are forced to blindly trust the IoT devices that they interact with. To fill this void, we first formulate a new security property for embedded devices, called "Operation Execution Integrity" or OEI. We then design and build a system, OAT, that enables remote OEI attestation for ARM-based bare-metal embedded devices. Our formulation of OEI captures the integrity of both control flow and critical data involved in an operation execution. Therefore, satisfying OEI entails that an operation execution is free of unexpected control and data manipulations, which existing attestation methods cannot check. Our design of OAT strikes a balance between prover's constraints (embedded devices' limited computing power and storage) and verifier's requirements(complete verifiability and forensic assistance). OAT uses a new control-flow measurement scheme, which enables light-weight and space-efficient collection of measurements (97% space reduction from the trace-based approach). OAT performs the remote control-flow verification through abstract execution, which is fast and deterministic. OAT also features lightweight integrity checking for critical data (74% fewer instrumentation needed than previous work). Our security analysis shows that OAT allows remote verifiers or IoT backends to detect both control-flow hijacks and data-only attacks that affect the execution of operations on IoT devices. In our evaluation using real embedded programs, OAT incurs a runtime overhead of 2.7%.

cs.CR↗

arXiv2019

P$^2$IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling (extended version)

Dynamic testing or fuzzing of embedded firmware is severely limited by hardware-dependence and poor scalability, partly contributing to the widespread vulnerable IoT devices. We propose a software framework that continuously executes a given firmware binary while channeling inputs from an off-the-shelf fuzzer, enabling hardware-independent and scalable firmware testing. Our framework, using a novel technique called P$^2$IM, abstracts diverse peripherals and handles firmware I/O on the fly based on automatically generated models. P$^2$IM is oblivious to peripheral designs and generic to firmware implementations, and therefore, applicable to a wide range of embedded devices. We evaluated our framework using 70 sample firmware and 10 firmware from real devices, including a drone, a robot, and a PLC. It successfully executed 79% of the sample firmware without any manual assistance. We also performed a limited fuzzing test on the real firmware, which unveiled 7 unique unknown bugs.

cs.CR↗

arXiv2019

Polarized electron-beam acceleration driven by vortex laser pulses

We propose a new approach based on an all-optical set-up for generating relativistic polarized electron beams via vortex Laguerre-Gaussian (LG) laser-driven wakefield acceleration. Using a pre-polarized gas target, we find that the topology of the vortex wakefield resolves the depolarization issue of the injected electrons. In full three-dimensional particle-in-cell simulations, incorporating the spin dynamics via the Thomas-Bargmann Michel Telegdi equation, the LG laser preserves the electron spin polarization by more than 80% at high beam charge and flux. The method releases the limit on beam flux for polarized electron acceleration and promises more than an order of magnitude boost in peak flux, as compared to Gaussian beams. These results suggest a promising table-top method to produce energetic polarized electron beams.

physics.plasm-ph↗

arXiv2019

Yelp Food Identification via Image Feature Extraction and Classification

Yelp has been one of the most popular local service search engine in US since 2004. It is powered by crowd-sourced text reviews and photo reviews. Restaurant customers and business owners upload photo images to Yelp, including reviewing or advertising either food, drinks, or inside and outside decorations. It is obviously not so effective that labels for food photos rely on human editors, which is an issue should be addressed by innovative machine learning approaches. In this paper, we present a simple but effective approach which can identify up to ten kinds of food via raw photos from the challenge dataset. We use 1) image pre-processing techniques, including filtering and image augmentation, 2) feature extraction via convolutional neural networks (CNN), and 3) three ways of classification algorithms. Then, we illustrate the classification accuracy by tuning parameters for augmentations, CNN, and classification. Our experimental results show this simple but effective approach to identify up to 10 food types from images.

cs.CV↗

arXiv2018

The QED Radiative Corrections to Chiral Magnetic Effect

We study in this paper the radiative corrections to chiral magnetic current at both zero and nonzero temperature. Our motivation is a radiative correction to the matrix element of the anomalous Ward identity in massless QED stemming from a three-loop diagram where the two photons coming from the one-loop anomalous triangle are re-scattered. Through the interplay between the Ward identity and the infrared subtlety of the fermion loop integral, we are able to reproduce the corrections known in literature in a simpler approach and obtain its contribution to the chiral magnetic current at zero temperature. At a nonzero temperature, the infrared subtlety disappeared in a static magnetic field and the three-loop diagram does not contribute to the chiral magnetic current any more. The generalization to all orders of the massless QED and the QCD corrections are discussed.

hep-ph↗

arXiv2018

Note on differential operators, CHY integrands, and unifying relations for amplitudes

An elegant unified web for amplitudes of various theories was given by Cachazo, He and Yuan in the CHY framework a few years ago. Recently, similar web has also been constructed by Cheung, Shen and Wen, which relies on a set of differential operators. In this note, by acting these differential operators on CHY-integrands systematically, we have established the relation between these two approaches. Thus, amplitudes for all theories which have CHY representations, include gravity theory, Einstein-Yang-Mills theory, Einstein-Maxwell theory, pure Yang-Mills theory, Yang-Mills-scalar theory, Born-Infeld theory, Dirac-Born-Infeld theory and its extension, bi-adjoint scalar theory, $ϕ^4$ theory, non-linear sigma model, as well as special Galileon theory, have been included in the unified web rooted from gravity theory.

hep-th↗

arXiv2018

Optimal distributed generation planning in active distribution networks considering integration of energy storage

A two-stage optimization method is proposed for optimal distributed generation (DG) planning considering the integration of energy storage in this paper. The first stage determines the installation locations and the initial capacity of DGs using the well-known loss sensitivity factor (LSF) approach, and the second stage identifies the optimal installation capacities of DGs to maximize the investment benefits and system voltage stability and to minimize line losses. In the second stage, the multi-objective ant lion optimizer (MOALO) is first applied to obtain the Pareto-optimal solutions, and then the 'best' compromise solution is identified by calculating the priority memberships of each solution via grey relation projection (GRP) method, while finally, in order to address the uncertain outputs of DGs, energy storage devices are installed whose maximum outputs are determined with the use of chance-constrained programming. The test results on the PG&E 69-bus distribution system demonstrate that the proposed method is superior to other current state-of-the-art approaches, and that the integration of energy storage makes the DGs operate at their pre-designed rated capacities with the probability of at least 60% which is novel.

math.OC↗

arXiv2018

Single Photon Source Driver Designed in ASIC

The single photon source is an important part of the quantum key distribution (QKD) system. At present, the single photon source is large in size and complex in structure for a lot of discrete components which are used. The miniaturization of the photon source is the tendency of the QKD system. We integrate all laser driver electronic module into one single ASIC chip, which can be used to drive the 1550nm DFB laser in random pulse mode and it can greatly reduce the volume of the single photon source. We present the design of the chip named LSD2018 and simulation results before the tape-out. The LSD2018 is fabricated with a 130 nm CMOS process and consists of a discriminator, an adjustable pulse generator, a bandgap reference, an SPI bus, and an amplitude-adjustable current pulse driver. The electronic random pulse from the driver can go 20mA to 120mA in amplitude and 400ps to 4ns in pulse width. The parameters can be set by an SPI bus.

physics.app-ph↗

arXiv2018

Permutation in the CHY-Formulation

The CHY-integrand of bi-adjoint cubic scalar theory is a product of two PT-factors. This pair of PT-factors can be interpreted as defining a permutation. We introduce the cycle representation of permutation in this paper for the understanding of cubic scalar amplitude. We show that, given a permutation related to the pair of PT-factors, the pole and vertex information of Feynman diagrams of corresponding CHY-integrand is completely characterized by the cycle representation of permutation. Inversely, we also show that, given a set of Feynman diagrams, the cycle representation of corresponding PT-factor can be recursively constructed. In this sense, there exists a deep connection between cycles of a permutation and amplitude. Based on these results, we have investigated the relations among different independent pairs of PT-factors in the context of cycle representation as well as the multiplication of cross-ratio factors.

hep-th↗