Xiaolei Ren
YOU?
Author Swipe
View article: Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis
Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis Open
Binary diffing technique aims to identify differences/similarities in executable files without source code access. Its potential applications in various software security tasks, such as vulnerability search, code clone detection, and malwa…
View article: An Aqueous, Environmental‐Friendly, and Flame‐Retardant Biomass‐Derived Binder for High‐Safe, High‐Rate, and Long‐Life Lithium–Sulfur Batteries
An Aqueous, Environmental‐Friendly, and Flame‐Retardant Biomass‐Derived Binder for High‐Safe, High‐Rate, and Long‐Life Lithium–Sulfur Batteries Open
Lithium–sulfur batteries demonstrate significant potential as contenders for next‐generation high‐energy storage systems. However, the severe shuttle effect of polysulfides and the likelihood of thermal runaway using sulfur cathode and lit…
View article: Sligpt: A Large Language Model-Based Approach for Data Dependency Analysis on Solidity Smart Contracts
Sligpt: A Large Language Model-Based Approach for Data Dependency Analysis on Solidity Smart Contracts Open
The advent of blockchain technology has revolutionized various sectors by providing transparency, immutability, and automation. Central to this revolution are smart contracts, which facilitate trustless and automated transactions across di…
View article: Enabling High Performance Bismuth Trifluoride Cathode by Engineering the Cathode/Electrolyte Interface in Sulfide‐Based All Solid State Batteries
Enabling High Performance Bismuth Trifluoride Cathode by Engineering the Cathode/Electrolyte Interface in Sulfide‐Based All Solid State Batteries Open
Metal fluorides are conversion‐type cathodes that have the potential to boost the energy densities of next generation lithium‐ion batteries (LIBs). However, the study of non‐transitional metal fluorides (NTMFs) such as bismuth trifluoride …
View article: Shielding‐Anchoring Double Protection Tactics of Imidazo[1,2‐b]pyridazine Additive for Ultrastable Zinc Anode
Shielding‐Anchoring Double Protection Tactics of Imidazo[1,2‐b]pyridazine Additive for Ultrastable Zinc Anode Open
Aqueous zinc‐based energy storage devices have competitive advantages such as high power density, good safety, and wide source. However, because of the direct touch among zinc anode and aqueous electrolyte, dendrite growth and electrode si…
View article: Characterization of Sn-xIn Solders and Thermomigration-Induced Interfacial IMC Growth of Cu/Sn-xIn/Cu Micro Solder Joints
Characterization of Sn-xIn Solders and Thermomigration-Induced Interfacial IMC Growth of Cu/Sn-xIn/Cu Micro Solder Joints Open
The melting behavior and microstructure of bulk Sn-xIn (x = 6, 12 and 24, wt.%) solders and the thermomigration, elemental distribution and intermetallic compound (IMC) growth in Cu/Sn-xIn/Cu micro solder joints during soldering and aging …
View article: Security Analysis of Zigbee Protocol Implementation via Device-agnostic Fuzzing
Security Analysis of Zigbee Protocol Implementation via Device-agnostic Fuzzing Open
Zigbee is widely adopted as a resource-efficient wireless protocol in the IoT network. IoT devices from manufacturers have recently been affected due to major vulnerabilities in Zigbee protocol implementations. Security testing of Zigbee p…
View article: Z-Fuzzer
Z-Fuzzer Open
With the proliferation of the Internet of Things (IoT) devices, Zigbee is widely adopted as a resource-efficient wireless protocol. Recently, severe vulnerabilities in Zigbee protocol implementations have compromised IoT devices from diffe…
View article: Unleashing the hidden power of compiler optimization on binary code difference: an empirical study
Unleashing the hidden power of compiler optimization on binary code difference: an empirical study Open
Hunting binary code difference without source code (i.e., binary diffing) has compelling applications in software security. Due to the high variability of binary code, existing solutions have been driven towards measuring semantic similari…
View article: Metal Atom-Decorated Carbon Nanomaterials for Enhancing Li-S/Se Batteries Performances: A Mini Review
Metal Atom-Decorated Carbon Nanomaterials for Enhancing Li-S/Se Batteries Performances: A Mini Review Open
Lithium-sulfur (Li-S) and lithium-selenium (Li-Se) batteries are both facing the cathode issues of low Coulombic efficiency and unstable cycling stability due to the severe shuttle effect of lithium polysulfides or lithium polyselenides. S…
View article: Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study Open
Since compiler optimization is the most common source contributing to binary code differences in syntax, testing the resilience against the changes caused by different compiler optimization settings has become a standard evaluation step fo…
View article: A Typha Angustifolia-Like MoS2/Carbon Nanofiber Composite for High Performance Li-S Batteries
A Typha Angustifolia-Like MoS2/Carbon Nanofiber Composite for High Performance Li-S Batteries Open
A Typha Angustifolia-like MoS2/carbon nanofiber composite as both a chemically trapping agent and redox conversion catalyst for lithium polysulfides has been successfully synthesized via a simple hydrothermal method. Cycling performance an…
View article: Lithium–Iron (III) Fluoride Battery with Double Surface Protection
Lithium–Iron (III) Fluoride Battery with Double Surface Protection Open
Lithium–metal fluoride batteries promise significantly higher energy density than the state‐of‐the‐art lithium‐ion batteries and lithium–sulfur batteries. Unfortunately, commercialization of metal fluoride cathodes is prevented by their hi…
View article: Iron Fluoride–Carbon Nanocomposite Nanofibers as Free‐Standing Cathodes for High‐Energy Lithium Batteries
Iron Fluoride–Carbon Nanocomposite Nanofibers as Free‐Standing Cathodes for High‐Energy Lithium Batteries Open
The development of low‐cost, high‐energy cathodes from nontoxic, broadly available resources is a big challenge for the next‐generation rechargeable lithium or lithium‐ion batteries. As a promising alternative to traditional intercalation‐…
View article: Iron Phosphate Coated Flexible Carbon Nanotube Fabric as a Multifunctional Cathode for Na‐Ion Batteries
Iron Phosphate Coated Flexible Carbon Nanotube Fabric as a Multifunctional Cathode for Na‐Ion Batteries Open
Conventional slurry casted electrodes cannot stand high loads or be repeatedly flexed or bent without being fractured, which inhibits their use in flexible batteries. Carbon nanotube (CNT) fabric exhibits a paramount mechanical stability a…
View article: Influence of Three Different Anions on Morphology and Property of Trivalent Chromium Based Conversion Coating on Aluminum Alloy
Influence of Three Different Anions on Morphology and Property of Trivalent Chromium Based Conversion Coating on Aluminum Alloy Open
The influence of F-, C2O42- and Mo O 6- as film agents on the morphology and the electrochemical property of trivalent chromium based conversion coating was investigated with the methods of scanning electronic microscope (SEM), contact ang…
View article: Rapid and Accurate Identification of Adulterants via an Electronic Nose and DNA Identification Platform: Identification of Fake Velvet Antlers as an Example
Rapid and Accurate Identification of Adulterants via an Electronic Nose and DNA Identification Platform: Identification of Fake Velvet Antlers as an Example Open
Background. Adulterants in Chinese medicines had always affected the efficacy of Chinese medicines and resulted in safety problems in drug use. We aimed to take the identification of fake velvet antlers as an example for establishment of a…
View article: Cerium-based Chemical Conversion Coating on Aluminum Alloy to Inhibits Corrosion in Chloride Solution
Cerium-based Chemical Conversion Coating on Aluminum Alloy to Inhibits Corrosion in Chloride Solution Open
Chemical conversion coatings with rare-earth metal salts are being considered as an environmentfriendly alternative to the toxic chromium-based coating to improve the corrosion resistance of aluminum alloy. However, the effects of conversi…
View article: Study on the Electrodeposition of Lead with In-Situ Ellipsometry
Study on the Electrodeposition of Lead with In-Situ Ellipsometry Open
In this study, we applied the in situ spectroscopic ellipsometry (SE) technology to the electrochemical test, and combined with cyclic voltammetry (CV) mainly researched underpotential-deposited (UPD) of Pb on polycrystalline Cu. The resul…
View article: Theoretical evaluation of the corrosion inhibition performance of 1,3-thiazole and its amino derivatives
Theoretical evaluation of the corrosion inhibition performance of 1,3-thiazole and its amino derivatives Open
The corrosion inhibition performances of three corrosion inhibitors on mild steel in acidic medium, namely 1,3-thiazole (TA), 2-amine-1,3-thiazole (2-ATA), and 4-amine-1,3-thiazole (4-ATA), were theoretically evaluated using quantum chemis…
View article: Monte Carlo simulations of corrosion inhibition of copper by two Schiff bases
Monte Carlo simulations of corrosion inhibition of copper by two Schiff bases Open
Atomistic modelling and simulations are becoming increasingly important in the field of corrosion inhibition.In this work, Monte Carlo simulations technique incorporating molecular mechanics and molecular dynamics was used to simulate the …