arXiv subjects

Shijun Zhao

Publications and source records attributed to Shijun Zhao.

15 recordsLinked to original sources

arXiv2024

The Road to Trust: Building Enclaves within Confidential VMs

Integrity is critical for maintaining system security, as it ensures that only genuine software is loaded onto a machine. Although confidential virtual machines (CVMs) function within isolated environments separate from the host, it is important to recognize that users still encounter challenges in maintaining control over the integrity of the code running within the trusted execution environments (TEEs). The presence of a sophisticated operating system (OS) raises the possibility of dynamically creating and executing any code, making user applications within TEEs vulnerable to interference or tampering if the guest OS is compromised. To address this issue, this paper introduces NestedSGX, a framework which leverages virtual machine privilege level (VMPL), a recent hardware feature available on AMD SEV-SNP to enable the creation of hardware enclaves within the guest VM. Similar to Intel SGX, NestedSGX considers the guest OS untrusted for loading potentially malicious code. It ensures that only trusted and measured code executed within the enclave can be remotely attested. To seamlessly protect existing applications, NestedSGX aims for compatibility with Intel SGX by simulating SGX leaf functions. We have also ported the SGX SDK and the Occlum library OS to NestedSGX, enabling the use of existing SGX toolchains and applications in the system. Performance evaluations show that context switches in NestedSGX take about 32,000 -- 34,000 cycles, approximately $1.9\times$ -- $2.1\times$ higher than that of Intel SGX. NestedSGX incurs minimal overhead in most real-world applications, with an average overhead below 2% for computation and memory intensive workloads and below 15.68% for I/O intensive workloads.

cs.CR↗

arXiv2023

Sluggish and Chemically-Biased Interstitial Diffusion in Concentrated Solid Solution Alloys: Mechanisms and Methods

Interstitial diffusion is a pivotal process that governs the phase stability and irradiation response of materials in non-equilibrium conditions. In this work, we study sluggish and chemically-biased interstitial diffusion in Fe-Ni concentrated solid solution alloys (CSAs) by combining machine learning (ML) and kinetic Monte Carlo (kMC), where ML is used to accurately and efficiently predict the migration energy barriers on-the-fly. The ML-kMC reproduces the diffusivity that was reported by molecular dynamics results at high temperatures. With this powerful tool, we find that the observed sluggish diffusion and the "Ni-Ni-Ni"-biased diffusion in Fe-Ni alloys are ascribed to a unique "Barrier Lock" mechanism, whereas the "Fe-Fe-Fe"-biased diffusion is influenced by a "Component Dominance" mechanism. Inspired by the mentioned mechanisms, a practical AvgS-kMC method is proposed for conveniently and swiftly determining interstitial-mediated diffusivity by only relying on the mean energy barriers of migration patterns. Combining the AvgS-kMC with the differential evolutionary algorithm, an inverse design strategy for optimizing sluggish diffusion properties is applied to emphasize the crucial role of favorable migration patterns.

cond-mat.mtrl-sci↗

arXiv2022

Model-based quantitative methods to predict irradiation-induced swelling in alloys

Predicting volume swelling of structural materials in nuclear reactors under high-dose neutron irradiations based on existing low-dose experiments or irradiation data with high-dose-rate energetic particles has been a long-standing challenge for safety evaluation and rapidly screening irradiation-resistant materials in nuclear energy systems. Here, we build an Additional Defect Absorption Model that describes the irradiation-induced swelling effects produced by energetic electrons, heavy-ions, and neutrons by considering additional defect sinks inherent in the irradiation process. Based on this model, we establish quantitative methods to predict high-dose swelling from low-dose behavior and obtain the equivalent irradiation dose for different energetic particles when the dose rates differ by several orders of magnitude. Furthermore, we propose a universal parameter to characterize the swelling resistance of various alloys and predict their radiation tolerances under different radiation conditions. This work provides quantitative prediction methods for evaluating irradiation-induced swelling effects of structural materials, which is critical to the safety and material development for advanced nuclear reactors.

cond-mat.mtrl-sci↗

arXiv2020

A High Accuracy Electrical Stopping Power Prediction Model based on Deep Learning Algorithm and its Applications

Energy loss of energetic ions in solid is crucial in many field, and accurate prediction of the ion stopping power is a long-time goal. Though great efforts have been made, it is still very difficult to find a universal prediction model to accurately calculate the ion stopping power in distinct target materials. Deep learning algorithm is a newly emerged method to solve multi-factors physical problems and can mine the deeply implicit relations among parameters, which make it a powerful tool in energy loss prediction. In this work, we developed an energy loss prediction model based on deep learning. When experimental data are available, our model can give predictions with an average absolute difference close to 5.7%, which is in the same level compared with other widely used programs e.g. SRIM. In the regime without experimental data, our model still can maintain a high performance, and has higher reliability compared with the existing models. The ion range of Au ions in SiC can be calculated with a relative error of 0.6~25% for ions in the energy range of 700~10'000 keV, which is much better than the results calculated by SRIM. Moreover, our model support the reciprocity conjecture of ion stopping power in solid proposed by P. Sigmund, which has been known for a long time but can hardly been proved by any of the existing stopping power models. This high-accuracy energy loss prediction model is very important for the research of ion-solid interaction mechanism and enormous relevant applications of energetic ions, such as in semiconductor fabrications, nuclear energy systems and the space facilities.

physics.app-ph↗

arXiv2020

A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0

The Trusted Platform Module (TPM) version 2.0 provides a two-phase key exchange primitive which can be used to implement three widely-standardized authenticated key exchange protocols: the Full Unified Model, the Full MQV, and the SM2 key exchange protocols. However, vulnerabilities have been found in all of these protocols. Fortunately, it seems that the protections offered by TPM chips can mitigate these vulnerabilities. In this paper, we present a security model which captures TPM's protections on keys and protocols' computation environments and in which multiple protocols can be analyzed in a unified way. Based on the unified security model, we give the first formal security analysis of the key exchange primitive of TPM 2.0, and the analysis results show that, with the help of hardware protections of TPM chips, the key exchange primitive indeed satisfies the well-defined security property of our security model, but unfortunately under some impractical limiting conditions, which would prevent the application of the key exchange primitive in real-world networks. To make TPM 2.0 applicable to real-world networks, we present a revision of the key exchange primitive of TPM 2.0, which can be secure without the limiting conditions. We give a rigorous analysis of our revision, and the results show that our revision achieves not only the basic security property of modern AKE security models but also some further security properties.

cs.CR↗

arXiv2019

MicroTEE: Designing TEE OS Based on the Microkernel Architecture

ARM TrustZone technology is widely used to provide Trusted Execution Environments (TEE) for mobile devices. However, most TEE OSes are implemented as monolithic kernels. In such designs, device drivers, kernel services and kernel modules all run in the kernel, which results in large size of the kernel. It is difficult to guarantee that all components of the kernel have no security vulnerabilities in the monolithic kernel architecture, such as the integer overflow vulnerability in Qualcomm QSEE TrustZone and the TZDriver vulnerability in HUAWEI Hisilicon TEE architecture. This paper presents MicroTEE, a TEE OS based on the microkernel architecture. In MicroTEE, the microkernel provides strong isolation for TEE OS's basic services, such as crypto service and platform key management service. The kernel is only responsible for providing core services such as address space management, thread management, and inter-process communication. Other fundamental services, such as crypto service and platform key management service are implemented as applications at the user layer. Crypto Services and Key Management are used to provide Trusted Applications (TAs) with sensitive information encryption, data signing, and platform attestation functions. Our design avoids the compromise of the whole TEE OS if only one kernel service is vulnerable. A monitor has also been added to perform the switch between the secure world and the normal world. Finally, we implemented a MicroTEE prototype on the Freescale i.MX6Q Sabre Lite development board and tested its performance. Evaluation results show that the performance of cryptographic operations in MicroTEE is better than it in Linux when the size of data is small.

cs.CR↗

arXiv2019

Anomalous local distortion in BCC refractory high-entropy alloys

Whereas exceptional mechanical and radiation performances have been found in the emergent medium- and high-entropy alloys (MEAs and HEAs), the importance of their complex atomic environment, reflecting diversity in atomic size and chemistry, to defect transport has been largely unexplored at the atomic level. Here we adopt a local structure approach based on the atomic pair distribution function measurements in combination with density functional theory calculations to investigate a series of body-centered cubic (BCC) MEAs and HEAs. Our results demonstrate that all alloys exhibit local lattice distortions (LLD) to some extent, but an anomalous LLD, merging of the first and second atomic shells, occurs only in the Zr- and/or Hf-containing MEAs and HEAs. In addition, through the ab-initio simulations we show that charge transfer among the elements profoundly reduce the size mismatch effect. The observed competitive coexistence between LLD and charge transfer not only demonstrates the importance of the electronic effects on the local environments in MEAs and HEAs, but also provides new perspectives to in-depth understanding of the complicated defect transport in these alloys.

cond-mat.mtrl-sci↗

arXiv2017

Detection and Attention: Diagnosing Pulmonary Lung Cancer from CT by Imitating Physicians

This paper proposes a novel and efficient method to build a Computer-Aided Diagnoses (CAD) system for lung nodule detection based on Computed Tomography (CT). This task was treated as an Object Detection on Video (VID) problem by imitating how a radiologist reads CT scans. A lung nodule detector was trained to automatically learn nodule features from still images to detect lung nodule candidates with both high recall and accuracy. Unlike previous work which used 3-dimensional information around the nodule to reduce false positives, we propose two simple but efficient methods, Multi-slice propagation (MSP) and Motionless-guide suppression (MLGS), which analyze sequence information of CT scans to reduce false negatives and suppress false positives. We evaluated our method in open-source LUNA16 dataset which contains 888 CT scans, and obtained state-of-the-art result (Free-Response Receiver Operating Characteristic score of 0.892) with detection speed (end to end within 20 seconds per patient on a single NVidia GTX 1080) much higher than existing methods.

cs.CV↗

arXiv2016

Distribution of Formation and migration energies of point defects in concentrated solid-solution alloys: Ni_{0.5}Co_{0.5}, Ni_{0.5}Fe_{0.5}, Ni_{0.8}Fe_{0.2} and Ni_{0.8}Cr_{0.2}

Using ab initio calculations and special quasirandom structures, we have characterized the distribution of defect formation energy and migration barrier in Ni-based solid-solution alloys: Ni_{0.5}Co_{0.5}, Ni_{0.5}Fe_{0.5}, Ni_{0.8}Fe_{0.2} and Ni_{0.8}Cr_{0.2}. As defect formation energies depend sensitively on elemental chemical potential, we have developed a computationally efficient method for determining it which takes into account the global composition and local short-range order. We find that Fe has the biggest alloy effects for Ni among these four elements. Our results show that the distribution of migration energies for vacancies and interstitial have a region of overlap, which will facilitate the recombination between them.

cond-mat.mtrl-sci↗

arXiv2015

First-Principles Calculation of Principal Hugoniot and K-Shell X-ray Absorption Spectra for Warm Dense KCl

Principal Hugoniot and K-shell X-ray absorption spectra of warm dense KCl are calculated using the first-principles molecular dynamics method. Evolution of electronic structures as well as the influence of the approximate description of ionization on pressure (caused by the underestimation of the energy gap between conduction bands and valence bands) in the first-principles method are illustrated by the calculation. Pressure ionization and thermal smearing are shown as the major factors to prevent the deviation of pressure from global accumulation along the Hugoniot. In addition, cancellation between electronic kinetic pressure and virial pressure further reduces the deviation. The calculation of X-ray absorption spectra shows that the band gap of KCl persists after the pressure ionization of the $3p$ electrons of Cl and K taking place at lower energy, which provides a detailed understanding to the evolution of electronic structures of warm dense matter.

physics.plasm-ph↗

arXiv2015

Link between K-absorption edges and thermodynamic properties of warm-dense plasmas established by improved first-principles method

A precise calculation that translates shifts of X-ray K-absorption edges to variations of thermodynamic properties allows quantitative characterization of interior thermodynamic properties of warm dense plasmas by X-ray absorption techniques, which provides essential information for inertial confinement fusion and other astrophysical applications. We show that this interpretation can be achieved through an improved first-principles method. Our calculation shows that the shift of K-edges exhibits selective sensitivity to thermal parameters and thus would be a suitable temperature index to warm dense plasmas. We also show with a simple model that the shift of K-edges can be used to detect inhomogeneity inside warm dense plasmas when combined with other experimental tools.

physics.plasm-ph↗

arXiv2014

The potential applications of phosphorene as anode materials in Li-ion batteries

The capacity and stability of constituent electrodes determine the performance of Li-ion batteries. In this study, density functional theory is employed to explore the potential application of recently synthesized two dimensional phosphorene as electrode materials. Our results show that Li atoms can bind strongly with phosphorene monolayer and double layer with significant electron transfer. Besides, the structure of phosphorene is not much influenced by lithiation and the volume change is only 0.2\%. A semiconducting to metallic transition is observed after lithiation. The diffusion barrier is calculated to 0.76 and 0.72 eV on monolayer and double layer phosphorene. The theoretical specific capacity of phosphorene monolayer is 432.79 mAh/g, which is larger than other commercial anodes materials. Our findings show that the high capacity, low open circuit voltage, small volume change and electrical conductivity of phosphorene make it a good candidate as electrode material.

cond-mat.mes-hall↗

arXiv2014

Manipulation of electronic and magnetic properties of M$_2$C (M=Hf, Nb, Sc, Ta, Ti, V, Zr) monolayer by applying mechanical strains

Tuning the electronic and magnetic properties of a material through strain engineering is an effective strategy to enhance the performance of electronic and spintronic devices. Recently synthesized two-dimensional transition metal carbides M$_2$C (M=Hf, Nb, Sc, Ta, Ti, V, Zr), known as MXenes, has aroused increasingly attentions in nanoelectronic technology due to their unusual properties. In this paper, first-principles calculations based on density functional theory are carried out to investigate the electronic and magnetic properties of M$_2$C subjected to biaxial symmetric mechanical strains. At the strain-free state, all these MXenes exhibit no spontaneous magnetism except for Ti$_2$C and Zr$_2$C which show a magnetic moment of 1.92 and 1.25 $μ_B$/unit, respectively. As the tensile strain increases, the magnetic moments of MXenes are greatly enhanced and a transition from nonmagnetism to ferromagnetism is observed for those nonmagnetic MXenes at zero strains. The most distinct transition is found in Hf$_2$C, in which the magnetic moment is elevated to 1.5 $μ_B$/unit at a strain of 15%. We further show that the magnetic properties of Hf$_2$C are attributed to the band shift mainly composed of Hf(5$d$) states. This strain-tunable magnetism can be utilized to design future spintronics based on MXenes.

cond-mat.mes-hall↗

arXiv2013

Fabrication of nanopores in a graphene sheet with heavy ions: a molecular dynamics study

Molecular dynamics (MD) simulations were performed to study the formation process of nanopores in a suspended graphene sheet irradiated by using energetic ions though a mask. By controlling the ion parameters including mass, energy and incident angle, different kinds of topography were observed in the graphene sheet. Net-like defective strucutures with carbon atom chains can be formed at low ion fluence, which provides the possibility to functionalize the irradiated sample with subsequent chemical methods; finally a perfect nanopore with smooth edge appears as the ion fluence is high enough. We found that the dependence of ion damage efficiency on ion fluence, energy and incident angle are different from that predicted by the semi-empirical model based on the binary-collision approximation, which results from the special structure of graphene. Our results demonstrate that it is feasible to fabricate controlled nanopores/nanostructures in graphene via heavy ion irradiation.

cond-mat.mes-hall↗

arXiv2013

Gas adsorption on MoS2 monolayer from first-principles calculations

First-principles calculations within density functional theory (DFT) have been carried out to investigate the adsorption of various gas molecules including CO, CO2, NH3, NO and NO2 on MoS2 monolayer in order to fully exploit the gas sensing capabilities of MoS2. By including van der Waals (vdW) interactions between gas molecules and MoS2, we find that only NO and NO2 can bind strongly to MoS2 sheet with large adsorption energies, which is in line with experimental observations. The charge transfer and the variation of electronic structures are discussed in view of the density of states and molecular orbitals of the gas molecules. Our results thus provide a theoretical basis for the potential applications of MoS2 monolayer in gas sensing and give an explanation for recent experimental findings.

cond-mat.mes-hall↗