21 papers · ranked by Valyu relevance
Zhangbo Long, Letian Sha, Jiaye Pan, Huang + 5 more
—Binary program analysis is still very important in system security. There are many practical achievements in binary code analysis, but fine-grained analysis such as dynamic taint analysis, is constantly studied due to the problem of deployability, high memory usage, and performance overhead, so as to better adapt to…
XiangRui Zhang, Qiang Li, Haining Wang
Binary analysis increasingly relies on large language models (LLMs) to perform semantic reasoning over complex program behaviors. However, existing approaches largely adopt a one-pass execution paradigm, where reasoning operates over a fixed program representation constructed by static analysis tools. This formulation…
Changyu Zhao, Yohan Beugin, Jean-Charles Noirot Ferrand, Quinn Burke + 2 more
Dynamic program analysis is invaluable for malware detection, debugging, and performance profiling. However, software-based instrumentation incurs high overhead and can be evaded by antianalysis techniques. In this paper, we propose LibIHT, a hardwareassisted tracing framework that leverages on-CPU branch tracing…
Michael James Bommarito
Deep learning research for binary analysis faces a critical infrastructure gap. Today, existing datasets target single platforms, require specialized tooling, or provide only hand-engineered features incompatible with modern neural architectures; no single dataset supports accessible research and pedagogy on realistic…
Daniel Engel, Freek Verbeek, Pranav Kumar, Binoy Ravindran
The binary executable format is the standard method for distributing and executing software. Yet, it is also as opaque a representation of software as can be. If the binary format were augmented with metadata that provides security-relevant information, such as which data is intended by the compiler to be executable…
Puzhuo Liu, Yuhan Huang, Jianlei Chi, Peng Di + 1 more
Binary decompilation aims to recover binaries into high-level source code, but existing evaluations mainly rely on syntactic similarity or single-axis readability metrics, which fail to capture practical reusability. We propose a reusability-driven evaluation paradigm that measures decompiler quality along three…
Yujeong Kwon, Yiyue Zhang, Shakhzod Yuldoshkhujaev, Kexin Pei + 2 more
Binary reversing is fundamental to software understanding, vulnerability discovery, malware investigation, and firmware auditing. However, it remains inherently challenging due to the irreversible loss of semantic information during compilation. Recent advances in machine learning, large language models (LLMs), and…
Bernard Costa, Marcus V. C. Baldo, Carolina Feher da Silva
Adaptive human behaviour depends on the ability to detect regularities and probabilistic structures within a noisy environment. Repeated binary choice tasks, in which individuals predict one of two possible outcomes, have long served as a fundamental tool for investigating learning, reward processing, and…
M. A. NegmEldin, A. Ali, G. M. Hamed, A. Essam
This study presents an analysis of the variability of 81 central stars of planetary nebulae (CSPNe) are identified as variable in Gaia Data Release 3 (DR3). By combining Gaia time-series photometry with data from the Optical Gravitational Lensing Experiment (OGLE), the Transiting Exoplanet Survey Satellite (TESS), and…
Honghao Bi, Wenjie Cai, Pan Wang, Kehan Ren + 6 more
Accurate cell type annotation remains a major challenge in high-resolution spatial transcriptomics analysis. Current approaches primarily rely on label transfer from single-cell RNA sequencing (scRNA-seq) reference datasets or marker-based annotation of transcriptionally defined clusters. While these methods are widely…
Yanji Qu, Yaxuan Wang, Yan Wang, Haoru Tang + 1 more
The precision of CRISPR/Cas systems is fundamental to their application in plant and animal biotechnology. However, comprehensive off-target assessment remains a bottleneck, particularly in large, complex genomes where existing tools often suffer from prohibitive computational costs, poor search-space convergence, and…
Grenville J. Croll, Boris Ryabko
The distribution of prime numbers has long been viewed as a balance between order and randomness. In this work, we investigate the relationship between entropy, periodicity, and primality through the computational framework of the binary derivative. We prove that periodic numbers are composite in all bases except for a…
GyeongTaek Choi, Seungho Jeon
WebAssembly is a low-level binary format originally designed to enable high-performance applications to run in web browsers. As WebAssembly is increasingly being ported to various environments, the security verification of WebAssembly execution environments is becoming more critical. While a wide variety of WebAssembly…
Sabina Bercovich Szulmajster
This study seeks to gain a better understanding of gender diversity and its implications for educational inequality research by exploring how different methods of gender categorization shape analytical outcomes. Using large-scale, nationally representative data from Mexico’s National Survey on Sexual and Gender…
Deeksha Satyabola, Shuai Feng, Prathamesh Chopade, Abhay Prasad + 10 more
The growth of digital information demands physically secure information bits that combine intrinsic randomness with multi-layered optical readout. Digital metamaterials with physical unclonable function characteristics are promising, but nearly all examples operate at microwave or terahertz frequencies. Extending…
Kyungmin Lim, Su-Young Kim
In the structural equation modeling framework, binary variable models are generally considered a special case of ordinal variable models, as both involve similar scale assignment processes. However, the scaling processes of the two model types differ, with these differences becoming increasingly pronounced in the…
Authors not listed
Background: Pharmaceutical batch scheduling in multi-reactor configurations presents complex optimization challenges under operational uncertainty, yet limited research addresses how parallel processing capacity affects heuristic performance and predictive modeling. Objectives: This study investigated scheduling…
Abdullah Aloufi, Kevin J Wilson, Nina Wilson, Lisa Shaw + 1 more
[Download Media](sj-pdf-2-ctj-10.1177_17407745261421842.pdf) Supplemental material, sj-pdf-2-ctj-10.1177_17407745261421842 for Bayesian design and analysis of two-arm cluster randomised trials using assurance: Extension to binary outcomes and comparison of Markov chain Monte Carlo and Integrated Nested Laplace…
Florian Ingels, Léa Vandamme, Mathilde Girard, Clément Agret + 2 more
Modern sequencing continues to drive explosive growth of nucleotide sequence archives, pushing MinHash-derived sketching methods to their practical scalability limits. State-of-the-art tools such as Mash, Dashing2, and Bindash2 provide compact sketches and accurate similarity estimates for large collections, yet…
Anton Nekrutenko, Danielle Callan, Marius Van Den Beek, Dannon Baker + 9 more
The analytical landscape of pathogen research is often fragmented, hindering transparency and reproducibility due to diverse genomic data sources, numerous software tools, and suboptimal integration methods. Here we introduce BRC-analytics, a novel browser-based environment that unifies authoritative sources of genomic…
Authors not listed
Mechanical agitation (stirring) is a cornerstone of organic synthesis, but has received little scientific attention due to its “obvious” role in facilitating reactions. A very recent study by Huang and coworkers compared the isolated yields in approximately 600 paired stirred and unstirred reactions, across a range of…