20 papers · ranked by Valyu relevance
Boyang Zhou, Oleg Ianchenko
Computing is accompanied by both positive and negative commons throughout its lifecycle of creation, execution, and disposal. We examine two governance systems situated within this lifecycle -- global e-waste trade and the Linux kernel community -- to evaluate whether Elinor Ostrom's eight design principles for…
Piotr Przymus, Witold Weiner, Krzysztof Rykaczewski, Gunnar Kudrjavets
In 2024, the Linux kernel became its own Common Vulnerabilities and Exposures (CVE) Numbering Authority (CNA), formalizing how kernel vulnerabilities are identified and tracked. We analyze the anatomy and dynamics of kernel CVEs using metadata, associated commits, and patch latency to understand what drives patching.…
Jiashuo Tian, Dong Wang, Chen Yang, Haichi Wang + 2 more
False-positive bug reports represent a significant yet underexplored challenge in the development and maintenance of the Linux kernel. They occur when correct system behavior is mistakenly flagged as a defect, consuming developer effort without leading to actual code improvements. Such reports can mislead developers…
JungWoo Park, Minju Kang, Seungho Jeon, Seong Oun Hwang + 4 more
Fault localization (FL) is the task of identifying code locations responsible for bugs in software, and it is a prerequisite step in the bug-fixing process. FL in large-scale systems such as the Linux kernel involves three core challenges: First, the vast codebase fundamentally complicates fault search. Second, the…
Lucie Khamvongsa-Charbonnier, Robert Aboukhalil, Hélène Chiapello, Thomas Denecker + 6 more
As the generation of data in the life and health sciences expands rapidly, there is a growing need for professionals and students in these fields to master core bioinformatics skills, particularly those relating to Unix-like systems, most commonly used in bioinformatics. This paper introduces two key contributions to…
Stefan Kremser, Kalman Graffi, Tuan Nguyen Gia
Wi-Fi security analysis and testing tools are vital to ensure the safety of wireless networks. Specialised hardware and software are needed to examine the underlying technology that connects our devices wirelessly. This article explores the feasibility of utilising the ESP32-S3 microcontroller as the basis for a…
Haney Kang, Eduard Marin, Myoungsung You, Diego Perino + 2 more
- We design and implement BEACON, a practical tool that automatically generates container policies compatible with Linux Seccomp and Capabilities. - We propose a novel approach for container policy generation based on emulated container environments to overcome the limitations of prior dynamic analysis techniques. We…
Mohamed Salim Nasser Al Hinai, Zakira Naureen, Syed Abdullah Gilani
Since, Bioinformatic research is getting attraction that can be seen with sudden increase in development of tools as well as publications. However, there are challenges in bioinformatics which are making the results difficult to obtain while facing reproducibility, scalability, and accessibility of computational…
Toshiharu Harada, Tetsuo Handa, Masaki Hashimoto, Hidehiko Tanaka
Existing access control methods grant access requests based on the combinations of applications as subject and files as objects. Therefore intents of applications and the possible effects caused by granting the access requests have not been taken into consideration. In this paper, we propose a new access control method…
Juyong Shin, Jisu Kim, Jaehyun Nam, Claudio Savaglio
System call telemetry is essential for understanding runtime behavior in cloud-native infrastructures, but existing eBPF-based monitors suffer from high per-event overhead, unreliable delivery under load, and limited context for correlating multi-step activities. These issues reduce scalability, create blind spots in…
Zhejian Yu
Fast simulation of next-generation sequencing (NGS) data is vital for software development and benchmarking. Here we describe art_modern, an accelerated ART simulator that can simulate various NGS data. We accelerated ART using updated sampling algorithms, single-instruction multiple-data (SIMD) instruction-set…
Tatsat Banerjee, Bedri Abubaker-Sharif, Peter N. Devreotes, Pablo A. Iglesias
The plasma membrane and accompanying cortex serve as one of the major hubs of the signal transduction and cytoskeletal activities that collectively regulate numerous cell physiological processes such as migration, polarity, macropinocytosis, phagocytosis, cytokinesis, etc. Yet, dynamically tracking membrane-cortex…
Sidahmed Benabderrahmane, James Cheney, Talal Rahwan
Advanced Persistent Threats (APTs) pose a significant challenge in cybersecurity due to their stealthy and long-term nature. Modern supervised learning methods require extensive labeled data, which is often scarce in real-world cybersecurity environments. In this paper, we propose an innovative approach that leverages…
Nathan R. Kern, Soohyung Park, Yiwei Cao, Wonpil Im
As high-performance computing provides the ability to generate and analyze ever larger simulation trajectories, the challenges in learning, applying, and sharing the best analytical practices become more salient. Extracting reproducible scientific insights from simulation requires a thorough understanding of many…
Brandon Beltz, Jim Doty, Yvonne Fonken, Nikolos Gurney + 8 more
We present datasets from three large-scale human-subject experiments involving red-team hacking in a cyber range in the Guarding Against Malicious Biased Threats (GAMBiT) project. Across Experiments 1-3 (July 2024-March 2025), 19-20 skilled attackers per experiment conducted two 8-hour days of self-paced operations in…
Guangxian Zou, Isaac Zhang, Ryan Zarick, Wong + 5 more
Zero-knowledge Virtual Machines (zkVMs) promise general-purpose verifiable computation through ISA-level compatibility with modern programs and toolchains. However, compatibility extends further than just the ISA; modern programs often cannot run or even compile without an operating system and libc. zkVMs attempt to…
Bo Wen, Kai Li, Michael Riffle, Michael J. MacCoss + 2 more
De novo peptide sequencing detects peptides directly from tandem mass spectra without a protein sequence database, and deep learning has substantially advanced its performance. Casanovo, one such widely used model, is distributed as a Python command-line program. Consequently, installation, GPU and dependency…
Authors not listed
We present an open source collection of scripts and programs for the setup, management and evaluation of calculations with the Vienna ab-initio simulation package (VASP), called utils4VASP. It contains 20 independent Python scripts and Fortran programs, all with a unified and intuitive handling concept based on command…
Ge Zhang
bcftools is the standard toolkit for handling VCF and BCF variant files, but it processes records on a single core; its --threads option speeds up only compression of the output, not the work done on variant records. Processing large call sets is therefore slow, and users often divide the genome and reassemble the…
Authors not listed
The increasing importance and predictive power of modern molecular modeling, driven by physics- and machine learning-based methods, necessitates a new collaborative architecture to replace the isolated, traditional model of software development. The traditional approach often led to redundant engineering effort, high…