English
Related papers

Related papers: Not All Anquan Is the Same: A Terminological Propo…

200 papers

As large language models (LLMs) see wider real-world use, understanding and mitigating their unsafe behaviors is critical. Interpretation techniques can reveal causes of unsafe outputs and guide safety, but such connections with safety are…

Software Engineering · Computer Science 2025-06-09 Seongmin Lee , Aeree Cho , Grace C. Kim , ShengYun Peng , Mansi Phute , Duen Horng Chau

Assuring safety of artificial intelligence (AI) applied to safety-critical systems is of paramount importance. Especially since research in the field of automated driving shows that AI is able to outperform classical approaches, to handle…

Computers and Society · Computer Science 2025-04-28 Lars Ullrich , Michael Buchholz , Klaus Dietmayer , Knut Graichen

Chinese Spelling Correction (CSC) is a critical task in natural language processing, aimed at detecting and correcting spelling errors in Chinese text. This survey provides a comprehensive overview of CSC, tracing its evolution from…

Computation and Language · Computer Science 2025-02-18 Changchun Liu , Kai Zhang , Junzhe Jiang , Zixiao Kong , Qi Liu , Enhong Chen

In the field of evaluation research, computer scientists live constantly upon dilemmas and conflicting theories. As evaluation is differently perceived and modeled among educational areas, it is not difficult to become trapped in dilemmas,…

Computers and Society · Computer Science 2007-06-11 Matthias R. Brust , Christian M. Adriano , Ivan M. L. Ricarte

Large language models (LLMs) have demonstrated remarkable capabilities across various applications, highlighting the urgent need for comprehensive safety evaluations. In particular, the enhanced Chinese language proficiency of LLMs,…

Computation and Language · Computer Science 2025-02-27 Shuyi Liu , Simiao Cui , Haoran Bu , Yuming Shang , Xi Zhang

Quantum secure direct communication provides a direct means of conveying secret information via quantum states among legitimate users. The past two decades have witnessed its great strides both theoretically and experimentally. However, the…

Quantum Physics · Physics 2021-09-14 Zhangdong Ye , Dong Pan , Zhen Sun , Chunguang Du , Liuguo Yin , Guilu Long

The openness of modern IT systems and their permanent change make it challenging to keep these systems secure. A combination of regression and security testing called security regression testing, which ensures that changes made to a system…

Cryptography and Security · Computer Science 2023-09-19 Irdin Pekaric , Clemens Sauerwein , Michael Felderer

This article considers the question of the teleportation protocol from an engineering perspective. The protocol ideally requires an authority that ensures that the two communicating parties have a perfectly entangled pair of particles…

Information Theory · Computer Science 2007-07-13 Balaji Nedurumalli

Secure robotics is a multi-disciplinary endeavour for improving the cybersecurity posture of robotic and embodied Artificial Intelligence systems. The article surveys emerging concepts and ideas encapsulating the notion of secure robotics…

Robotics · Computer Science 2022-11-15 Adam Haskard , Damith Herath , Zena Assaad

As AI systems become prevalent in high stakes domains such as surveillance and healthcare, researchers now examine how to design and implement them in a safe manner. However, the potential harms caused by systems to stakeholders in complex…

Artificial Intelligence · Computer Science 2019-11-21 Roel Dobbe , Thomas Krendl Gilbert , Yonatan Mintz

Logs are one of the most fundamental resources to any security professional. It is widely recognized by the government and industry that it is both beneficial and desirable to share logs for the purpose of security research. However, the…

Cryptography and Security · Computer Science 2007-05-23 Adam J. Slagell , William Yurcik

In the current landscape of autonomous vehicle (AV) safety and security research, there are multiple isolated problems being tackled by the community at large. Due to the lack of common evaluation criteria, several important research…

Recently, the DeepSeek series of models, leveraging their exceptional reasoning capabilities and open-source strategy, is reshaping the global AI landscape. Despite these advantages, they exhibit significant safety deficiencies. Research…

Computation and Language · Computer Science 2025-05-09 Wenjing Zhang , Xuejiao Lei , Zhaoxiang Liu , Ning Wang , Zhenhong Long , Peijun Yang , Jiaojiao Zhao , Minjie Hua , Chaoyang Ma , Kai Wang , Shiguo Lian

The success of large language models (LLMs) in scientific domains has heightened safety concerns, prompting numerous benchmarks to evaluate their scientific safety. Existing benchmarks often suffer from limited risk coverage and a reliance…

As AI systems increasingly influence critical decisions, they face threats that exploit reasoning mechanisms rather than technical infrastructure. We present a framework for cognitive cybersecurity, a systematic protection of AI reasoning…

Cryptography and Security · Computer Science 2025-08-25 Yuksel Aydin

We draw on our experience working on system and software assurance and evaluation for systems important to society to summarise how safety engineering is performed in traditional critical systems, such as aircraft flight control. We analyse…

Computers and Society · Computer Science 2025-02-07 Robin Bloomfield , John Rushby

Safety cases - clear, assessable arguments for the safety of a system in a given context - are a widely-used technique across various industries for showing a decision-maker (e.g. boards, customers, third parties) that a system is safe. In…

Computers and Society · Computer Science 2025-03-10 Benjamin Hilton , Marie Davidsen Buhl , Tomek Korbak , Geoffrey Irving

In network communications, information transmission often encounters wiretapping attacks. Secure network coding is introduced to prevent information from being leaked to adversaries. The investigation of performance bounds on the numbers of…

Information Theory · Computer Science 2015-05-07 Xuan Guang , Jiyong Lu , Fang-Wei Fu

The lack of any sender authentication mechanism in place makes CAN (Controller Area Network) vulnerable to security threats. For instance, an attacker can impersonate an ECU (Electronic Control Unit) on the bus and send spoofed messages…

Cryptography and Security · Computer Science 2022-12-26 Shailja Thakur

The United States and China are among the world's top players in the development of advanced artificial intelligence (AI) systems, and both are keen to lead in global AI governance and development. A look at U.S. and Chinese policy…

Computers and Society · Computer Science 2025-06-05 Oliver Guest , Kevin Wei