中文
相关论文

相关论文: An Extensive Formal Security Analysis of the OpenI…

200 篇论文

The rapid advancement of Artificial Intelligence (AI) has led to its integration into various areas, especially with Large Language Models (LLMs) significantly enhancing capabilities in Artificial Intelligence Generated Content (AIGC).…

软件工程 · 计算机科学 2026-01-07 Guangba Yu , Gou Tan , Haojia Huang , Zhenyu Zhang , Pengfei Chen , Roberto Natella , Zibin Zheng

Blockchain technology enforces the security, robustness, and traceability of operations of Process-Aware Information Systems (PAISs). In particular, transparency ensures that all data is publicly available, fostering trust among…

密码学与安全 · 计算机科学 2026-04-23 Michele Kryston , Edoardo Marangone , Alessandro Marcelletti , Claudio Di Ciccio

This article examines the evolving landscape of artificial intelligence (AI) regulation in financial services, detailing the legal frameworks and compliance challenges posed by rapid technological adoption. By reviewing current legislation,…

计算机与社会 · 计算机科学 2025-03-25 Shahmar Mirishli

Users today expect more security from services that handle their data. In addition to traditional data privacy and integrity requirements, they expect transparency, i.e., that the service's processing of the data is verifiable by users and…

密码学与安全 · 计算机科学 2022-10-24 Daniel Reijsbergen , Aung Maw , Zheng Yang , Tien Tuan Anh Dinh , Jianying Zhou

Large Language Model (LLM) systems are inherently compositional, with individual LLM serving as the core foundation with additional layers of objects such as plugins, sandbox, and so on. Along with the great potential, there are also…

密码学与安全 · 计算机科学 2024-03-01 Fangzhou Wu , Ning Zhang , Somesh Jha , Patrick McDaniel , Chaowei Xiao

Resource-constrained Internet of Things (IoT) devices, from medical implants to small drones, must transmit sensitive telemetry under adversarial wireless channels while operating under stringent computing and energy budgets. Authenticated…

密码学与安全 · 计算机科学 2026-04-01 Saif E. Nouma , Gokhan Mumcu , Attila A. Yavuz

Modern web applications rely heavily on client-side API calls to fetch data, render content, and communicate with backend services. However, the quality of these network interactions (redundant requests, missing cache headers, oversized…

软件工程 · 计算机科学 2026-02-19 Ali Hassaan Mughal , Muhammad Bilal , Noor Fatima

With AI-based software becoming widely available, the risk of exploiting its capabilities, such as high automation and complex pattern recognition, could significantly increase. An AI used offensively to attack non-AI assets is referred to…

密码学与安全 · 计算机科学 2025-04-08 Anket Mehra , Andreas Aßmuth , Malte Prieß

Physical Unclonable Functions (PUFs) have been shown to be a highly promising solution for enabling high security systems tailored for low-power devices. Commonly, PUFs are utilised to generate cryptographic keys on-the-fly, replacing the…

密码学与安全 · 计算机科学 2024-03-07 Hongming Fei , Owen Millwood , Gope Prosanta , Jack Miskelly , Biplab Sikdar

Fine-tuning is now the primary method for adapting large neural networks, but it also introduces new integrity risks. An untrusted party can insert backdoors, change safety behavior, or overwrite large parts of a model while claiming only…

密码学与安全 · 计算机科学 2026-04-07 Zhenhang Shang , Kani Chen

We introduce the AI Security Pyramid of Pain, a framework that adapts the cybersecurity Pyramid of Pain to categorize and prioritize AI-specific threats. This framework provides a structured approach to understanding and addressing various…

密码学与安全 · 计算机科学 2024-02-20 Chris M. Ward , Josh Harguess , Julia Tao , Daniel Christman , Paul Spicer , Mike Tan

The Third Generation Partnership Project (3GPP) released its first 5G security specifications in March 2018. This paper reviews the 5G security architecture, requirements and main processes and evaluates them in the context of known and new…

密码学与安全 · 计算机科学 2018-11-30 Roger Piqueras Jover , Vuk Marojevic

Large language model (LLM) platforms, such as ChatGPT, have recently begun offering an app ecosystem to interface with third-party services on the internet. While these apps extend the capabilities of LLM platforms, they are developed by…

密码学与安全 · 计算机科学 2024-07-30 Umar Iqbal , Tadayoshi Kohno , Franziska Roesner

The Coherent Accelerator Processor Interface (CAPI) is a general term for the infrastructure that provides high throughput and low latency path to the flash storage connected to the IBM POWER 8+ System. CAPI accelerator card is attached…

分布式、并行与集群计算 · 计算机科学 2019-09-17 Kaushik Velusamy , Smriti Prathapan , Milton Halem

Application authentication is typically performed using some form of secret credentials such as cryptographic keys, passwords, or API keys. Since clients are responsible for securely storing and managing the keys, this approach is…

密码学与安全 · 计算机科学 2022-11-24 Mihai Christodorescu , Maliheh Shirvanian , Shams Zawoad

Many password alternatives for web authentication proposed over the years, despite having different designs and objectives, all predominantly rely on the knowledge of some secret. This motivates us, herein, to provide the first detailed…

密码学与安全 · 计算机科学 2019-04-02 Furkan Alaca , AbdelRahman Abdou , Paul C. van Oorschot

The rapid rise of open-weight and open-source foundation models is intensifying the obligation and reshaping the opportunity to make AI systems safe. This paper reports outcomes from the Columbia Convening on AI Openness and Safety (San…

Even though passwordless authentication to online accounts offers greater security and protection from attack, passwords remain prevalent. Passwordless authentication adoption is impacted by the slow adoption of external hardware keys…

密码学与安全 · 计算机科学 2021-08-10 Chris Culnane , Christopher J. P. Newton , Helen Treharne

The use of Service-Based Architecture in modern telecommunications has exponentially increased Network Functions (NFs) and Application Programming Interfaces (APIs), creating substantial operational complexities in service discovery and…

网络与互联网体系结构 · 计算机科学 2025-08-14 Zainab Khan , Ahmed Hussain , Mukesh Thakur , Arto Hellas , Panos Papadimitratos

Firmware updates remain the primary line of defense for IoT devices; however, the update channel itself has become a well-established attack vector. Existing defenses mainly focus on securing monolithic firmware images, leaving module-level…

密码学与安全 · 计算机科学 2025-07-28 Weihao Chen , Yansong Gao , Boyu Kuang , Jin B. Hong , Yuqing Zhang , Anmin Fu