arXiv subjects

Yuanyuan Zhou

Publications and source records attributed to Yuanyuan Zhou.

11 recordsLinked to original sources

arXiv2025

Testing Access-Control Configuration Changes for Web Applications

Access-control misconfigurations are among the main causes of today's data breaches in web applications. However, few techniques are available to support automatic and systematic testing for access-control changes and detecting risky changes to prevent severe consequences. As a result, those critical security configurations often lack testing, or are tested manually in an ad hoc way. This paper advocates that tests should be made available for users to test access-control configuration changes. The key challenges are such tests need to be run with production environments (to reason end-to-end behavior) and need to be performance-efficient. We present a new approach to create such tests, as a mini test environment incorporating production program and data, called ACtests. ACtests report the impacts of access-control changes, namely the requests that were denied but would be allowed after a change, and vice versa. Users can validate if the changed requests are intended or not and identify potential security vulnerabilities. We evaluate ACtests with 193 public configurations of widely-used web applications on Dockerhub. ACtests detect 168 new vulnerabilities from 72 configuration images. We report them to the image maintainers: 54 of them have been confirmed and 44 have been fixed. We also conduct in-depth experiments with five real-world deployed systems, including Wikipedia and a commercial company's web proxy. Our results show that ACtests effectively and efficiently detect all the change impacts.

cs.CR↗

arXiv2025

Laurel: Unblocking Automated Verification with Large Language Models

Program verifiers such as Dafny automate proofs by outsourcing them to an SMT solver. This automation is not perfect, however, and the solver often requires hints in the form of assertions, creating a burden for the proof engineer. In this paper, we propose Laurel, a tool that alleviates this burden by automatically generating assertions using large language models (LLMs). To improve the success rate of LLMs in this task, we design two domain-specific prompting techniques. First, we help the LLM determine the location of the missing assertion by analyzing the verifier's error message and inserting an assertion placeholder at that location. Second, we provide the LLM with example assertions from the same codebase, which we select based on a new proof similarity metric. We evaluate our techniques on our new benchmark DafnyGym, a dataset of complex lemmas we extracted from three real-world Dafny codebases. Our evaluation shows that Laurel is able to generate over 56.6\% of the required assertions given only a few attempts, making LLMs an affordable tool for unblocking program verifiers without human intervention.

cs.LO↗

arXiv2024

Controllable and Fast Growth of High-Quality Atomically Thin and Atomically Flat Bi$_2$O$_2$Se Films

As a novel and promising 2D material, bismuth oxyselenide (Bi$_2$O$_2$Se) has demonstrated significant potential to overcome existing technical barriers in various electronic device applications, due to its unique physical properties like high symmetry, adjustable electronic structure, ultra-high electron mobility. However, the rapid growth of Bi$_2$O$_2$Se films down to a few atomic layers with precise control remains a significant challenge. In this work, the growth of two-dimensional (2D) Bi$_2$O$_2$Se thin films by the pulsed laser deposition (PLD) method is systematically investigated. By controlling temperature, oxygen pressure, laser energy density and laser emission frequency, we successfully prepare atomically thin and flat Bi$_2$O$_2$Se (001) thin films on the (001) surface of SrTiO3. Importantly, we provide a fundamental and unique perspective toward understanding the growth process of atomically thin and flat Bi$_2$O$_2$Se films, and the growth process can be primarily summarized into four steps: i) anisotropic non-spontaneous nucleation preferentially along the step roots; ii) monolayer Bi$_2$O$_2$Se nanosheets expanding across the surrounding area, and eventually covering the entire STO substrate step; iii) vertical growth of Bi$_2$O$_2$Se monolayer in a 2D Frank-van der Merwe (FM) epitaxial growth, and iv) with a layer-by-layer 2D FM growth mode, ultimately producing an atomically flat and epitaxially aligned thin film. Moreover, the combined results of the crystallinity quality, surface morphology and the chemical states manifest the successful PLD-growth of high-quality Bi$_2$O$_2$Se films in a controllable and fast mode.

cond-mat.mtrl-sci↗

arXiv2023

Differential Multi-probe Thermal Transport Measurements of Multi-walled Carbon Nanotubes grown by Chemical Vapor Deposition

Carbon nanotubes (CNTs) are quasi-1D nanostructures that display both high thermal conductivity and intriguing low-dimensional phonon transport phenomena. In comparison to the advances made in the theoretical calculation of the lattice thermal conductivity of CNTs, thermal transport measurements of CNTs have been limited by either the poor temperature sensitivity of Raman thermometry technique or the presence of contact thermal resistance errors in sensitive two-probe resistance thermometry measurements. Here we report advances in a multi-probe measurement of the intrinsic thermal conductivity of individual multi-walled CNT samples that are transferred from the growth substrate onto the measurement device. The sample-thermometer thermal interface resistance is directly measured by this multi-probe method and used to model the temperature distribution along the contacted sample segment. The detailed temperature profile helps to eliminate the contact thermal resistance error in the obtained thermal conductivity of the suspended sample segment. A differential electro-thermal bridge measurement method is established to enhance the signal-to-noise ratio and reduce the measurement uncertainty by over 40%. The obtained thermal resistances of multiple suspended segments of the same MWCNT sample increase linearly with increasing length, revealing diffusive phonon transport as a result of phonon-defect scattering in these MWCNTs. The measured thermal conductivity increases with temperature and reaches up to 390+- 20 W m-1 K-1 at room temperature for a 9-walled MWCNT. Theoretical analysis of the measurement results suggests submicron phonon mean free paths due to extrinsic phonon scattering by extended defects such as grain boundaries. The obtained thermal conductivity is decreased by a factor of 3 upon electron beam damage and surface contamination of the CNT sample.

physics.app-ph↗

arXiv2022

Ab initio approach for thermodynamic surface phases with full consideration of anharmonic effects -- the example of hydrogen at Si(100)

A reliable description of surfaces structures in a reactive environment is crucial to understand materials functions. We present a first-principles theory of replica-exchange grand-canonical-ensemble molecular dynamics (REGC-MD) and apply it to evaluate phase equilibria of surfaces in reactive gas-phase environment. We identify the different surface phases and locate phase boundaries including triple and critical points. The approach is demonstrated by addressing open questions for the Si(100) surface in contact with a hydrogen atmosphere. In the range from 300 to 1 000 K, we find 25 distinct thermodynamically stable surface phases, for which we also provide microscopic descriptions. Most of the identified phases, including few order-disorder phase transitions, have not yet been observed experimentally. The REGC-MD-derived phase diagram shows significant, qualitative differences to the description by the state-of-the-art "ab initio atomistic thermodynamics" approach.

cond-mat.mtrl-sci↗

arXiv2019

Determining Surface Phase Diagrams Including Anharmonic Effects

We introduce a massively parallel replica-exchange grand-canonical sampling algorithm to simulate materials at realistic conditions, in particular surfaces and clusters in reactive atmospheres. Its purpose is to determine in an automated fashion equilibrium phase diagrams for a given potential-energy surface (PES) and for any observable sampled in the grand-canonical ensemble. The approach enables an unbiased sampling of the phase space and is embarrassingly parallel. It is demonstrated for a model of Lennard-Jones system describing a surface in contact with a gas phase. Furthermore, the algorithm is applied to Si$_M$ clusters ($M=2, 4$) in contact with an H$_{2}$ atmosphere, with all interactions described at the \textit{ab initio} level, i.e., via density-functional theory, with the PBE gradient-corrected exchange-correlation functional. We identify the most thermodynamically stable phases at finite $T, p$(H$_{2}$) conditions.

cond-mat.mtrl-sci↗

arXiv2015

ATLAS: A Real-Space Finite-Difference Implementation of Orbital-Free Density Functional Theory

Orbital-free density functional theory (OF-DFT) is a promising method for large-scale quantum mechanics simulation as it provides a good balance of accuracy and computational cost. Its applicability to large-scale simulations has been aided by progress in constructing kinetic energy functionals and local pseudopotentials. However, the widespread adoption of OF-DFT requires further improvement in its efficiency and robustly implemented software. Here we develop a real-space finite-difference method for the numerical solution of OF-DFT in periodic systems. Instead of the traditional self-consistent method, a powerful scheme for energy minimization is introduced to solve the Euler--Lagrange equation. Our approach engages both the real-space finite-difference method and a direct energy-minimization scheme for the OF-DFT calculations. The method is coded into the ATLAS software package and benchmarked using periodic systems of solid Mg, Al, and Al$_{3}$Mg. The test results show that our implementation can achieve high accuracy, efficiency, and numerical stability for large-scale simulations.

physics.comp-ph↗

arXiv2015

Intrinsic defects in photovoltaic perovskite variant Cs2SnI6

Note: This paper has been published in Physical Chemistry Chemical Physics, which can be viewed at the following URL: http://doi.org/10.1039/C5CP03102H Cs2SnI6, a rarely studied perovskite variant material, is recently gaining a lot of interest in the field of photovoltaics owing to its nontoxity, air-stability and promissing photovoltaic properties. In this work, we report intrinsic defects in Cs2SnI6 using first-principles density functional theory calculations. It is revealed that iodine vacancy and tin interstitial are the dominant defects that are responsible for the intrinsic n-type conduction in Cs2SnI6. Tin vacancy has a very high formation energy (>3.6 eV) due to the strong covalency in the Sn-I bonds and is hardly generated for p-type doping. All the dominant defects in Cs2SnI6 have deep transition levels in the band gap. It is suggested that the formation of the deep defects can be suppressed significantly by employing an I-rich synthesis condition, which is inevitable for photovoltaic and other semiconductor applications.

physics.comp-ph↗

arXiv2015

Ligand-Hole in SnI6 Unit and Origin of Band Gap in Photovoltaic Perovskite Variant Cs2SnI6

This paper has been published in Bulletin of the Chemical Society of Japan, which can be viewed at the following URL: http://doi.org/10.1246/bcsj.20150110 Cs2SnI6, a variant of perovskite CsSnI3, is expected for a photovoltaic material. Based on a simple ionic model, it is expected that Cs2SnI6 is composed of Cs+, I-, and Sn4+ ions and that the band gap is primarily made of occupied I- 5p6 valence band maximum (VBM) and unoccupied Sn4+ 5s conduction band minimum (CBM) similar to SnO2. In this work, we performed density functional theory (DFT) calculations and revealed that the real oxidation state of the Sn ion in Cs2SnI6 is +2 similar to CsSnI3. The +2 oxidation state of Sn originates from 2 ligand holes in the [SnI6]2- octahedron unit, where the ligand [I6] cluster has the apparent [I66-L+2]4- oxidation state, because the band gap is formed mainly by occupied I 5p VBM and unoccupied I 5p CBM. The +2 oxidation state of Sn and the band gap are originated from the intracluster hybridization and stabilized by the strong covalent interaction between Sn and I.

physics.chem-ph↗

arXiv2013

Entangler via Electromagnetically Induced Transparency with Atomic Ensembles

We present an efficient and convenient scheme to entangle multiple optical fields via electromagnetically induced transparency in an atomic ensemble. The atomic spin wave, produced through electromagnetically induced transparency in the Lambda-type configuration in an atomic ensemble, can be described by a Bose operator and acts as the entangler. By using the entangler, any desired number of nondegenerate narrow-band continuous-variable entangled fields, in principle, can be generated through stimulated Raman scattering processes, which holds great promise for applications in scalable quantum communication and quantum networks.

quant-ph↗

arXiv2012

Generation of Multipartite Continuous-variable Entanglements via Atomic Spin Wave

We present a proof-of-principle way to generate nondegenerate multipartite continuous-variable entanglements via atomic spin wave induced by the strong coupling and probe fields in the Lambda-type electromagnetically induced transparency configuration in an atomic ensemble. Quantum correlated/anti-correlated and entangled Stokes and anti-Stokes fields, simultaneously produced through scattering the applied laser fields off the atomic spin wave, can be achieved. This method can, in principle, be extended to flexibly and conveniently create multicolor multipartite entangled narrow-band fields to any desired order with long correlation time, which may find promising applications in quantum information processing and quantum networks.

quant-ph↗