中文
相关论文

相关论文: Establishing Minimum Elements for Effective Vulner…

200 篇论文

As the social implementation of AI has been steadily progressing, research and development related to AI security has also been increasing. However, existing studies have been limited to organizing related techniques, attacks, defenses, and…

密码学与安全 · 计算机科学 2025-08-13 Hiroya Kato , Kentaro Kita , Kento Hasegawa , Seira Hidano

Verified artificial intelligence (AI) is the goal of designing AI-based systems that that have strong, ideally provable, assurances of correctness with respect to mathematically-specified requirements. This paper considers Verified AI from…

人工智能 · 计算机科学 2020-07-24 Sanjit A. Seshia , Dorsa Sadigh , S. Shankar Sastry

Databases are increasingly embracing AI to provide autonomous system optimization and intelligent in-database analytics, aiming to relieve end-user burdens across various industry sectors. Nonetheless, most existing approaches fail to…

The widespread adoption of Large Language Models (LLMs) has revolutionized AI deployment, enabling autonomous and semi-autonomous applications across industries through intuitive language interfaces and continuous improvements in model…

密码学与安全 · 计算机科学 2025-10-20 Adam Swanda , Amy Chang , Alexander Chen , Fraser Burch , Paul Kassianik , Konstantin Berlin

Audits are critical mechanisms for identifying the risks and limitations of deployed artificial intelligence (AI) systems. However, the effective execution of AI audits remains incredibly difficult, and practitioners often need to make use…

计算机与社会 · 计算机科学 2025-03-03 Victor Ojewale , Ryan Steed , Briana Vecchione , Abeba Birhane , Inioluwa Deborah Raji

Recent advances in artificial intelligence applied to biomedical text are opening exciting opportunities for improving pharmacovigilance activities currently burdened by the ever growing volumes of real world data. To fully realize these…

信息检索 · 计算机科学 2022-01-04 Bruno Ohana , Jack Sullivan , Nicole Baker

As artificial intelligence (AI) systems are increasingly deployed across critical domains, their security vulnerabilities pose growing risks of high-profile exploits and consequential system failures. Yet systematic approaches to evaluating…

密码学与安全 · 计算机科学 2026-04-28 Mikko Lempinen , Joni Kemppainen , Niklas Raesalmi

As AI models scale to billions of parameters and operate with increasing autonomy, ensuring their safe, reliable operation demands engineering-grade security and assurance frameworks. This paper presents an enterprise-level, risk-aware,…

密码学与安全 · 计算机科学 2025-05-13 Krti Tallam

This paper presents an argument that certain AI safety measures, rather than mitigating existential risk, may instead exacerbate it. Under certain key assumptions - the inevitability of AI failure, the expected correlation between an AI…

人工智能 · 计算机科学 2024-06-04 Herman Cappelen , Josh Dever , John Hawthorne

AI documentation is a rapidly-growing channel for coordinating the design of AI technologies with policies for transparency and accessibility. Calls to standardize and enact documentation of algorithmic harms and impacts are now…

计算机与社会 · 计算机科学 2023-03-21 Soham Mehta , Anderson Rogers , Thomas Krendl Gilbert

With the advancement of AI models, more software systems are adopting AI as a component to facilitate automation. Pre-trained models (PTMs) have become a cornerstone of AI-based software, allowing for rapid integration and development with…

软件工程 · 计算机科学 2026-05-01 Haoyu Gao , Mansooreh Zahedi , Wenxin Jiang , Hong Yi Lin , James Davis , Christoph Treude

Robustness is a key requirement for high-risk AI systems under the EU Artificial Intelligence Act (AI Act). However, both its definition and assessment methods remain underspecified, leaving providers with little concrete direction on how…

计算机与社会 · 计算机科学 2025-11-20 Roberta Tamponi , Carina Prunkl , Thomas Bäck , Anna V. Kononova

AI agents have been boosted by large language models. AI agents can function as intelligent assistants and complete tasks on behalf of their users with access to tools and the ability to execute commands in their environments. Through…

密码学与安全 · 计算机科学 2024-12-19 Yifeng He , Ethan Wang , Yuyang Rong , Zifei Cheng , Hao Chen

Security evaluations inherently depend on stable identifiers. Any finding, audit, or regulatory decision must remain attached to the specific artifact it pertains to. Continuously updated artificial intelligence systems violate this core…

密码学与安全 · 计算机科学 2026-05-26 Dan Ristea , Vasilios Mavroudis

The increasing integration of Artificial Intelligence across multiple industry sectors necessitates robust mechanisms for ensuring transparency, trust, and auditability of its development and deployment. This topic is particularly important…

密码学与安全 · 计算机科学 2025-03-31 Kar Balan , Robert Learney , Tim Wood

As frontier AI models become more capable, evaluating their potential to enable cyberattacks is crucial for ensuring the safe development of Artificial General Intelligence (AGI). Current cyber evaluation efforts are often ad-hoc, lacking…

密码学与安全 · 计算机科学 2025-04-23 Mikel Rodriguez , Raluca Ada Popa , Four Flynn , Lihao Liang , Allan Dafoe , Anna Wang

In recent years, machine learning has demonstrated impressive results in various fields, including software vulnerability detection. Nonetheless, using machine learning to identify software vulnerabilities presents new challenges,…

密码学与安全 · 计算机科学 2025-08-22 Sima Arasteh , Christophe Hauser

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,…

Artificial intelligence (AI) is poised to revolutionize military combat systems, but ensuring these AI-enabled capabilities are truly mission-ready presents new challenges. We argue that current technology readiness assessments fail to…

软件工程 · 计算机科学 2025-06-16 S. Tucker Browne , Mark M. Bailey

This position paper explores the broad landscape of AI potentiality in the context of cybersecurity, with a particular emphasis on its possible risk factors with awareness, which can be managed by incorporating human experts in the loop,…

密码学与安全 · 计算机科学 2023-10-20 Iqbal H. Sarker , Helge Janicke , Nazeeruddin Mohammad , Paul Watters , Surya Nepal
‹ 上一页 1 8 9 10 下一页 ›