BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Hao Ren

Hao Ren appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Machine LearningArtificial IntelligenceCryptography and Securityeess.SYInformation Retrievalphysics.app-phphysics.class-phphysics.opticsSoftware EngineeringSymbolic ComputationSystems and Control

Catalog footprint

What is connected

7works
11topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2026arXiv

A Liquid Density Sensor Based On AlN Piezoelectric Micromachined Ultrasonic Transmitter Insensitive to Liquid Viscosity

To overcome the limitations of conventional liquid density sensors, MEMS-based approaches have been developed. However, the viscosity-density coupling effect often compromises accuracy in high-viscosity liquids. Although various decoupling strategies have been proposed, they often suffer from complexity and inefficiency. This study presents an AlN-based PMUT liquid density sensor insensitive to viscosity interference. The sensor employs two identical PMUTs, functioning as transmitter and receiver, respectively. An ultrasonic wave generated by the transmitter is reflected by the liquid surface and detected by the receiver. Theoretical calculations demonstrate that when the excitation frequency remains constant, the amplitude of the received electrical signal exhibits a specific relationship with liquid density, while the viscosity-induced signal amplitude variation becomes negligible. Therefore, after calibrating the PMUT liquid density sensor by fitting the relationship between received signal amplitude and density across 0-100% glycerol solutions, the device can measure densities within this range regardless of liquid type and viscosity. Experimental results show that the sensor can accurately measure the density of the propylene glycol solutions using the glycerol-calibrated fitting formula, with the calculated density error rate between measured propylene glycol solutions using the glycerol-calibrated fitting formula and actual densities remains below 0.125%, demonstrating measurement insensitivity to viscosity differences between the two liquids. The proposed method achieves maximum error rates of less than 2.5% in high-viscosity environments (80%-100% glycerol solutions), which is 20% that of other density measurement methods based on resonant frequency. The developed PMUT liquid density sensor exhibits a measurable density range from 0.789 to 1.261 g/cm3.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

KryptoPilot: An Open-World Knowledge-Augmented LLM Agent for Automated Cryptographic Exploitation

Capture-the-Flag (CTF) competitions play a central role in modern cybersecurity as a platform for training practitioners and evaluating offensive and defensive techniques derived from real-world vulnerabilities. Despite recent advances in large language models (LLMs), existing LLM-based agents remain ineffective on high-difficulty cryptographic CTF challenges, which require precise cryptanalytic knowledge, stable long-horizon reasoning, and disciplined interaction with specialized toolchains. Through a systematic exploratory study, we show that insufficient knowledge granularity, rather than model reasoning capacity, is a primary factor limiting successful cryptographic exploitation: coarse or abstracted external knowledge often fails to support correct attack modeling and implementation. Motivated by this observation, we propose KryptoPilot, an open-world knowledge-augmented LLM agent for automated cryptographic exploitation. KryptoPilot integrates dynamic open-world knowledge acquisition via a Deep Research pipeline, a persistent workspace for structured knowledge reuse, and a governance subsystem that stabilizes reasoning through behavioral constraints and cost-aware model routing. This design enables precise knowledge alignment while maintaining efficient reasoning across heterogeneous subtasks. We evaluate KryptoPilot on two established CTF benchmarks and in six real-world CTF competitions. KryptoPilot achieves a complete solve rate on InterCode-CTF, solves between 56 and 60 percent of cryptographic challenges on the NYU-CTF benchmark, and successfully solves 26 out of 33 cryptographic challenges in live competitions, including multiple earliest-solved and uniquely-solved instances. These results demonstrate the necessity of open-world, fine-grained knowledge augmentation and governed reasoning for scaling LLM-based agents to real-world cryptographic exploitation.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems

We present a safety verification framework for design-time and run-time assurance of learning-based components in aviation systems. Our proposed framework integrates two novel methodologies. From the design-time assurance perspective, we propose offline mixed-fidelity verification tools that incorporate knowledge from different levels of granularity in simulated environments. From the run-time assurance perspective, we propose reachability- and statistics-based online monitoring and safety guards for a learning-based decision-making model to complement the offline verification methods. This framework is designed to be loosely coupled among modules, allowing the individual modules to be developed using independent methodologies and techniques, under varying circumstances and with different tool access. The proposed framework offers feasible solutions for meeting system safety requirements at different stages throughout the system development and deployment cycle, enabling the continuous learning and assessment of the system product.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Compositional Coding Capsule Network with K-Means Routing for Text Classification

Text classification is a challenging problem which aims to identify the category of texts. In the process of training, word embeddings occupy a large part of parameters. Under the limitation of limited computing resources, it indirectly limits the ability of subsequent network designs. In order to reduce the number of parameters, the compositional coding mechanism has been proposed recently. Based on this, this paper further explores compositional coding and proposes a compositional weighted coding method. And we apply capsule network to model the relationship between word embeddings, a new routing algorithm, which is based on k-means clustering theory, is proposed to fully mine the relationship between word embeddings. Combined with our compositional weighted coding method and the routing algorithm, we design a neural network for text classification. Experiments conducted on eight challenging text classification datasets show that the proposed method achieves competitive accuracy compared to the state-of-the-art approach with significantly fewer parameters.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

DesCert: Design for Certification

The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) program is to "automate the evaluation of software assurance evidence to enable certifiers to determine rapidly that system risk is acceptable." As part of this program, the DesCert project focuses on the assurance-driven development of new software. The DesCert team consists of SRI International, Honeywell Research, and the University of Washington. We have adopted a formal, tool-based approach to the construction of software artifacts that are supported by rigorous evidence. The DesCert workflow integrates evidence generation into a design process that goes from requirements capture and analysis to the decomposition of the high-level software requirements into architecture properties and software components with assertional contracts, and on to software that can be analyzed both dynamically and statically. The generated evidence is organized by means of an assurance ontology and integrated into the RACK knowledge base.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

MMLN: Leveraging Domain Knowledge for Multimodal Diagnosis

Recent studies show that deep learning models achieve good performance on medical imaging tasks such as diagnosis prediction. Among the models, multimodality has been an emerging trend, integrating different forms of data such as chest X-ray (CXR) images and electronic medical records (EMRs). However, most existing methods incorporate them in a model-free manner, which lacks theoretical support and ignores the intrinsic relations between different data sources. To address this problem, we propose a knowledge-driven and data-driven framework for lung disease diagnosis. By incorporating domain knowledge, machine learning models can reduce the dependence on labeled data and improve interpretability. We formulate diagnosis rules according to authoritative clinical medicine guidelines and learn the weights of rules from text data. Finally, a multimodal fusion consisting of text and image data is designed to infer the marginal probability of lung disease. We conduct experiments on a real-world dataset collected from a hospital. The results show that the proposed method outperforms the state-of-the-art multimodal baselines in terms of accuracy and interpretability.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Conformal Mapping for Multiple Terminals

Conformal mapping is an important mathematical tool in many physical and engineering fields, especially in electrostatics, fluid mechanics, classical mechanics, and transformation optics. However in the existing textbooks and literatures, it is only adopted to solve the problems which have only two terminals. Two terminals with electric potential differences, pressure difference, optical path difference, etc., can be mapped conformally onto a solvable structure, e.g., a rectangle, where the two terminals are mapped onto two opposite edges of the rectangle. Here we show a conformal mapping method for multiple terminals, which is more common in practical applications. Through accurate analysis of the boundary conditions, additional terminals or boundaries are folded in the inner of the mapped rectangle. Then the solution will not be influenced. The method is described in several typical situations and two application examples are detailed. The first example is an electrostatic actuator with three electrodes. A previous literature dealt with this problem by approximately treat the three electrodes as two electrodes. Based on the proposed method, a preciser result is achieved in our paper. The second example is a light beam splitter designed by transformation optics, which is recently attracting growing interests around the world. The splitter has three ports, one for input and two for output. Based on the proposed method, a relatively simple and precise solution compared with previously reported results is obtained.

0 citations0 reviewsNo code linkedOpen access