English
Related papers

Related papers: Right to History: A Sovereignty Kernel for Verifia…

200 papers

AI memory systems are evolving toward unified context layers that enable efficient cross-agent collaboration and multi-tool workflows, facilitating better accumulation of personal data and learning of user preferences. However,…

Cryptography and Security · Computer Science 2026-01-13 Xing Zhou , Dmitrii Ustiugov , Haoxin Shang , Kisson Lin

The risks of frontier AI may require international cooperation, which in turn may require verification: checking that all parties follow agreed-on rules. For instance, states might need to verify that powerful AI models are widely deployed…

Computers and Society · Computer Science 2025-07-29 Mauricio Baker , Gabriel Kulp , Oliver Marks , Miles Brundage , Lennart Heim

With the European Union's Artificial Intelligence Act taking effect on 1 August 2024, high-risk AI applications must adhere to stringent transparency and fairness standards. This paper addresses a crucial question: how can we scientifically…

Applications · Statistics 2024-09-09 Shiqi Fang , Zexun Chen , Jake Ansell

With the adoption of the EU AI Act, companies must understand and implement its compliance requirements -- an often complex task, especially in areas like risk management and fundamental rights assessments. This paper introduces our…

Computers and Society · Computer Science 2025-04-30 Tomasz Hollanek , Yulu Pi , Dorian Peters , Selen Yakar , Eleanor Drage

Autonomous coding agents are increasingly deployed as AI teammates in modern software engineering, independently authoring pull requests (PRs) that modify production code at scale. This study aims to systematically characterize how…

Cryptography and Security · Computer Science 2026-01-05 Mohammed Latif Siddiq , Xinye Zhao , Vinicius Carvalho Lopes , Beatrice Casey , Joanna C. S. Santos

Traditional software relies on contracts -- APIs, type systems, assertions -- to specify and enforce correct behavior. AI agents, by contrast, operate on prompts and natural language instructions with no formal behavioral specification.…

Artificial Intelligence · Computer Science 2026-02-27 Varun Pratap Bhardwaj

The Contract Net Protocol (1980) introduced coordination through contracts in multi-agent systems. Modern agent protocols standardize connectivity and interoperability; yet, none provide formal, resource governance-normative mechanisms to…

Multiagent Systems · Computer Science 2026-03-26 Qing Ye , Jing Tan

As artificial intelligence systems evolve from passive assistants into autonomous agents capable of executing consequential actions, the security boundary shifts from model outputs to tool execution. Traditional security paradigms - log…

Cryptography and Security · Computer Science 2026-02-11 Herman Errico

Artificial intelligence (AI) is increasingly intervening in our lives, raising widespread concern about its unintended and undeclared side effects. These developments have brought attention to the problem of AI auditing: the systematic…

Computers and Society · Computer Science 2024-10-08 Sarah H. Cen , Rohan Alur

This report documents the history of research on AI rights and other moral consideration of artificial entities. It highlights key intellectual influences on this literature as well as research and academic discussion addressing the topic…

Computers and Society · Computer Science 2022-08-30 Jamie Harris

This paper critically examines the evolving ethical and regulatory challenges posed by the integration of artificial intelligence (AI) in cybersecurity. We trace the historical development of AI regulation, highlighting major milestones…

Cryptography and Security · Computer Science 2025-01-22 Vikram Kulothungan

Tor is an anonymity network used by millions of people every day to evade censorship and protect their browsing activity from privacy threats such as mass surveillance. Unfortunately, Tor has been shown to be vulnerable to website…

Cryptography and Security · Computer Science 2023-10-18 Ethan Witwer

Artificial Intelligence has rapidly become a cornerstone technology, significantly influencing Europe's societal and economic landscapes. However, the proliferation of AI also raises critical ethical, legal, and regulatory challenges. The…

As autonomous agents become increasingly sophisticated, validating their sequential behavior presents a significant challenge. Traditional testing approaches require manual specification, exact sequence matching, or thousands of training…

Artificial Intelligence · Computer Science 2026-05-06 Reshabh K Sharma , Gaurav Mittal , Yu Hu

With the Proposal for a Regulation laying down harmonised rules on Artificial Intelligence (AI Act) the European Union provides the first regulatory document that applies to the entire complex of AI systems. While some fear that the…

Computers and Society · Computer Science 2024-09-02 Marc P. Hauer , Tobias D Krafft , Andreas Sesing-Wagenpfeil , Katharina Zweig

As Artificial Intelligence (AI) tools are increasingly employed in diverse real-world applications, there has been significant interest in regulating these tools. To this end, several regulatory frameworks have been introduced by different…

Artificial Intelligence · Computer Science 2024-07-12 Alex Oesterling , Usha Bhalla , Suresh Venkatasubramanian , Himabindu Lakkaraju

Autonomous AI agents increasingly issue side-effect-bearing actions: database mutations, refunds, payments, external commitments. We propose the Actuarial Action Interface (AAI), a deterministic runtime contract that prices each such action…

Artificial Intelligence · Computer Science 2026-05-26 Hao-Hsuan Chen

The proliferation of autonomous AI agents marks a paradigm shift toward complex, emergent multi-agent systems. This transition introduces systemic security risks, including control-flow hijacking and cascading failures, that traditional…

Cryptography and Security · Computer Science 2025-08-28 Sai Teja Reddy Adapala , Yashwanth Reddy Alugubelly

The EU Artificial Intelligence (AI) Act directs businesses to assess their AI systems to ensure they are developed in a way that is human-centered and trustworthy. The rapid adoption of AI in the industry has outpaced ethical evaluation…

Computers and Society · Computer Science 2025-09-30 Louise McCormack , Diletta Huyskes , Dave Lewis , Malika Bendechache
‹ Prev 1 8 9 10 Next ›