中文
相关论文

相关论文: OmniBOR: A System for Automatic, Verifiable Artifa…

200 篇论文

Software estimation is critical for a software project's success and a challenging activity. We argue that estimation problems are not restricted to the generation of estimates but also their use for commitment establishment: project…

软件工程 · 计算机科学 2022-03-28 Patricia G. F. Matsubara , Igor Steinmacher , Bruno Gadelha , Tayana Conte

Neural networks have become integral to many fields due to their exceptional performance. The open-source community has witnessed a rapid influx of neural network (NN) repositories with fast-paced iterations, making it crucial for…

软件工程 · 计算机科学 2025-09-25 Xiaoning Ren , Yuhang Ye , Xiongfei Wu , Yueming Wu , Yinxing Xue

Many critical information technology and cyber-physical systems rely on a supply chain of open-source software projects. OSS project maintainers often integrate contributions from external actors. While maintainers can assess the…

密码学与安全 · 计算机科学 2026-01-30 Kelechi G. Kalu , Sofia Okorafor , Betül Durak , Kim Laine , Radames C. Moreno , Santiago Torres-Arias , James C. Davis

Assurance for artificial intelligence (AI) systems remains fragmented across software supply-chain security, adversarial machine learning, and governance documentation. Existing transparency mechanisms - including Model Cards, Datasheets,…

Modern Large Language Model (LLM) systems are assembled from third-party artifacts such as pre-trained weights, fine-tuning adapters, datasets, dependency packages, and container images, fetched through automated pipelines. This speed comes…

密码学与安全 · 计算机科学 2026-04-01 Zhuoran Tan , Jeremy Singer , Christos Anagnostopoulos

Machine learning systems increasingly rely on open-source artifacts such as datasets and models that are created or hosted by other parties. The reliance on external datasets and pre-trained models exposes the system to supply chain attacks…

密码学与安全 · 计算机科学 2025-10-02 Andrew Gan , Zahra Ghodsi

The web continues to grow, but dependency-monitoring tools and standards for resource integrity lag behind. Currently, there exists no robust method to verify the integrity of web resources, much less in a generalizable yet performant…

密码学与安全 · 计算机科学 2025-09-19 Johnny So , Michael Ferdman , Nick Nikiforakis

In recent years, many software engineering researchers have begun to include artifacts alongside their research papers. Ideally, artifacts, including tools, benchmarks, and data, support the dissemination of ideas, provide evidence for…

软件工程 · 计算机科学 2021-05-05 Christopher S. Timperley , Lauren Herckis , Claire Le Goues , Michael Hilton

Open-source software serves as a foundation for the internet and the cyber supply chain, but its exploitation is becoming increasingly prevalent. While advances in vulnerability detection for OSS have been significant, prior research has…

密码学与安全 · 计算机科学 2024-12-02 Zhuoran Tan , Christos Anagnosstopoulos , Jeremy Singer

In recent years, several companies and researchers have started to tackle the problem of damage recognition within the scope of automated inspection of built structures. While companies are neither willing to publish associated data nor…

计算机视觉与模式识别 · 计算机科学 2022-02-16 Johannes Flotzinger , Philipp J. Rösch , Norbert Oswald , Thomas Braml

The software supply chain comprises a highly complex set of operations, processes, tools, institutions and human factors involved in creating a piece of software. A number of high-profile attacks that exploit a weakness in this complex…

密码学与安全 · 计算机科学 2024-05-30 Eman Abu Ishgair , Marcela S. Melara , Santiago Torres-Arias

Trojanized software packages used in software supply chain attacks constitute an emerging threat. Unfortunately, there is still a lack of scalable approaches that allow automated and timely detection of malicious software packages and thus…

密码学与安全 · 计算机科学 2021-03-22 Marc Ohm , Lukas Kempf , Felix Boes , Michael Meier

The software supply chain is an increasingly common attack vector for malicious actors. The Node.js ecosystem has been subject to a wide array of attacks, likely due to its size and prevalence. To counter such attacks, the research…

密码学与安全 · 计算机科学 2025-09-03 Eric Cornelissen , Musard Balliu

The use of free and open source software (FOSS) components in all software systems is estimated to be above 90%. With such high usage and because of the heterogeneity of FOSS tools, repositories, developers and ecosystem, the level of…

密码学与安全 · 计算机科学 2023-11-21 Luıs Soeiro , Thomas Robert , Stefano Zacchiroli

Distributed systems widely adopt microservice architecture to handle growing complexity and scale. This approach breaks applications into independent, loosely coupled services. Kubernetes has become the de facto standard for managing…

分布式、并行与集群计算 · 计算机科学 2025-11-11 Mohomed Thariq , Indrajith Ekanayake

The software build process transforms source code into deployable artifacts, representing a critical yet vulnerable stage in software development. Build infrastructure security poses unique challenges: the complexity of multi-component…

Software architecture is inherently knowledge-centric. The architectural knowledge is distributed across heterogeneous software artifacts such as requirements documents, design diagrams, code, and documentation, making it difficult for…

软件工程 · 计算机科学 2026-01-28 Jan Keim , Angelika Kaplan

Linting tools automatically identify source code fragments that do not follow a set of predefined standards. Such feedback tools are equally desirable for "linting" agile development processes. However, providing concrete feedback on…

软件工程 · 计算机科学 2018-09-05 Christoph Matthies , Thomas Kowark , Keven Richly , Matthias Uflacker , Hasso Plattner

Agile methods are increasingly introduced in automotive companies in the attempt to become more efficient and flexible in the system development. The adoption of agile practices influences communication between stakeholders, but also makes…

软件工程 · 计算机科学 2019-04-30 Rebekka Wohlrab , Patrizio Pelliccione , Eric Knauss , Mats Larsson

According to experts, one third of all IT vulnerabilities today are due to inadequate software verification. Internal program processes are not sufficiently secured against manipulation by attackers, especially if access has been gained.…

密码学与安全 · 计算机科学 2022-11-22 Erik Heiland , Peter Hillmann