English
Related papers

Related papers: OSS-CRS: Liberating AIxCC Cyber Reasoning Systems …

200 papers

Static Application Security Testing (SAST) tools are integral to modern DevSecOps pipelines, yet tools like CodeQL, Semgrep, and SonarQube remain fundamentally constrained: they require expert-crafted queries, generate excessive false…

Cryptography and Security · Computer Science 2026-02-11 George Tsigkourakos , Constantinos Patsakis

The workshop will focus on the application of AI to problems in cyber security. Cyber systems generate large volumes of data, utilizing this effectively is beyond human capabilities. Additionally, adversaries continue to develop new…

Cyber-physical systems (CPS) have been broadly deployed in safety-critical domains, such as automotive systems, avionics, medical devices, etc. In recent years, Artificial Intelligence (AI) has been increasingly adopted to control CPS.…

Software Engineering · Computer Science 2022-04-20 Jiayang Song , Deyun Lyu , Zhenya Zhang , Zhijie Wang , Tianyi Zhang , Lei Ma

Recent advances in reinforcement learning from human feedback (RLHF) and preference optimization have substantially improved the usability, coherence, and safety of large language models. However, recurring behaviors such as performative…

Artificial Intelligence · Computer Science 2026-05-13 William Parris

The Sustainability and Industry Partnership Work Group (SIP-WG) is a part of the National Cancer Institute Informatics Technology for Cancer Research (ITCR) program. The charter of the SIP-WG is to investigate options of long-term…

By 2028 most cybersecurity actions will be autonomous, with humans teleoperating. We present the first classification of autonomy levels in cybersecurity and introduce Cybersecurity AI (CAI), an open-source framework that democratizes…

When Computer Science (CS) students try to use or extend open-source software (OSS) projects, they often encounter the common challenge of OSS failing to build on their local machines. Even though OSS often provides ready-to-build packages,…

Software Engineering · Computer Science 2025-02-25 Sunzhou Huang , Na Meng , Xueqing Liu , Xiaoyin Wang

Accountable use of AI systems in high-stakes settings relies on making systems contestable. In this paper we study efforts to contest AI systems in practice by studying how public defenders scrutinize AI in court. We present findings from…

Computers and Society · Computer Science 2024-03-21 Angela Jin , Niloufar Salehi

Open-source software (OSS) is widely reused as it provides convenience and efficiency in software development. Despite evident benefits, unmanaged OSS components can introduce threats, such as vulnerability propagation and license…

Software Engineering · Computer Science 2021-02-12 Seunghoon Woo , Sunghan Park , Seulbae Kim , Heejo Lee , Hakjoo Oh

Although some previous research has found ways to find inclusivity bugs (biases in software that introduce inequities), little attention has been paid to how to go about fixing such bugs. Without a process to move from finding to fixing,…

Software Engineering · Computer Science 2022-03-01 Mariam Guizani , Igor Steinmacher , Jillian Emard , Abrar Fallatah , Margaret Burnett , Anita Sarma

The development of technology across multiple sectors and the growing importance of cyber warfare make the development of Cyber Situational Awareness (CSA) a fundamental component of any cyber defense strategy. CSA, as a practice, enables…

Open-source software for cyber-physical systems (CPS) often lacks robust testing involving robotic platforms, resulting in critical errors that remain undetected. This is especially challenging when multiple modules of CPS software are…

Robotics · Computer Science 2026-04-14 Aditya A. Krishnan , Donghoon Kim , Hokeun Kim

We present a new question set, text corpus, and baselines assembled to encourage AI research in advanced question answering. Together, these constitute the AI2 Reasoning Challenge (ARC), which requires far more powerful knowledge and…

Artificial Intelligence · Computer Science 2018-03-16 Peter Clark , Isaac Cowhey , Oren Etzioni , Tushar Khot , Ashish Sabharwal , Carissa Schoenick , Oyvind Tafjord

Cyber-Physical System (CPS) represents systems that join both hardware and software components to perform real-time services. Maintaining the system's reliability is critical to the continuous delivery of these services. However, the CPS…

Software Engineering · Computer Science 2023-11-10 Diaeddin Rimawi

As modern software systems continue inexorably to increase in complexity and capability, users have become accustomed to periodic cycles of updating and upgrading to avoid obsolescence -- if at some cost in terms of frustration. In the case…

Software Engineering · Computer Science 2015-10-09 Jeffrey Hughes , Cassandra Sparks , Alley Stoughton , Rinku Parikh , Albert Reuther , Suresh Jagannathan

We focus here on Deep Research Agents (DRAs), which are systems that can take a natural language prompt from a user, and then autonomously search for, and utilize, internet-based content to address the prompt. Recent DRAs have demonstrated…

Artificial Intelligence · Computer Science 2026-01-09 Doaa Allabadi , Kyle Bradbury , Jordan M. Malof

The growing and evolving landscape of cybersecurity threats necessitates the development of supporting tools and platforms that allow for the creation of realistic IT environments operating within virtual, controlled settings as Cyber…

Cryptography and Security · Computer Science 2025-07-28 Matteo Lupinacci , Francesco Blefari , Francesco Romeo , Francesco Aurelio Pironti , Angelo Furfaro

Cyber Ranges (CRs) have emerged as prominent platforms for cybersecurity training and education, especially for Critical Infrastructure (CI) sectors that face rising cyber threats. One way to address these threats is through hands-on…

Cryptography and Security · Computer Science 2025-12-12 Vyron Kampourakis , Georgios Kavallieratos , Georgios Spathoulas , Vasileios Gkioulos , Sokratis Katsikas

Conversational recommender systems (CRSs) are improving rapidly, according to the standard recommendation accuracy metrics. However, it is essential to make sure that these systems are robust in interacting with users including regular and…

Information Retrieval · Computer Science 2023-03-13 Ali Montazeralghaem , James Allan

This report describes the research, design and implementation work carried out in building the CLARE system at SRI International, Cambridge, England. CLARE was designed as a natural language processing system with facilities for reasoning…

cmp-lg · Computer Science 2008-02-03 Hiyan Alshawi , David Carter , Richard Crouch , Steve Pulman , Manny Rayner , Arnold Smith