中文
相关论文

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

200 篇论文

Financial AI empowers sophisticated approaches to financial market forecasting, portfolio optimization, and automated trading. This survey provides a systematic analysis of these developments across three primary dimensions: predictive…

交易与市场微观结构 · 定量金融 2024-11-21 Junhua Liu

Integrity checking is ubiquitous in data networks, but not all network traffic needs integrity protection. Many applications can tolerate slightly damaged data while still working acceptably, trading accuracy versus efficiency to save time…

网络与互联网体系结构 · 计算机科学 2015-10-15 Benjamin Ransford , Luis Ceze

In a world, where complexity increases on a daily basis the Function-as-a-Service (FaaS) cloud model seams to take countermeasures. In comparison to other cloud models, the fast evolving FaaS increasingly abstracts the underlying…

软件工程 · 计算机科学 2019-05-20 Roland Pellegrini , Igor Ivkic , Markus Tauber

The Unified Extensible Firmware Interface (UEFI) is a linchpin of modern computing systems, governing secure system initialization and booting. This paper is urgently needed because of the surge in UEFI-related attacks and vulnerabilities…

密码学与安全 · 计算机科学 2023-11-08 Priyanka Prakash Surve , Oleg Brodt , Mark Yampolskiy , Yuval Elovici , Asaf Shabtai

Fraudulent activities are rapidly evolving, employing increasingly diverse and sophisticated methods that pose serious threats to individuals, organizations, and society. This paper proposes the FIST Framework (Fraud Incident Structured…

密码学与安全 · 计算机科学 2025-06-09 Yu-Chen Dai , Lu-An Chen , Sy-Jye Her , Yu-Xian Jiang

Modern web applications often rely on third-party services to provide their functionality to users. The secure integration of these services is a non-trivial task, as shown by the large number of attacks against Single Sign On and…

密码学与安全 · 计算机科学 2021-01-18 Lorenzo Veronese , Stefano Calzavara , Luca Compagna

Many millions of users routinely use their Google, Facebook and Microsoft accounts to log in to websites supporting OAuth 2.0 and/or OpenID Connect-based single sign on. The security of OAuth 2.0 and OpenID Connect is therefore of critical…

密码学与安全 · 计算机科学 2018-01-25 Wanpeng Li , Chris J Mitchell , Thomas Chen

Information security in Process-aware Information System (PAIS) relies on many factors, including security of business process and the underlying system and technologies. Moreover, humans can be the weakest link that creates pathway to…

密码学与安全 · 计算机科学 2015-07-14 Maria Leitner , Zhendong Ma , Stefanie Rinderle-Ma

Fraudulent transactions and how to detect them remain a significant problem for financial institutions around the world. The need for advanced fraud detection systems to safeguard assets and maintain customer trust is paramount for…

机器学习 · 计算机科学 2023-12-22 Tomisin Awosika , Raj Mani Shukla , Bernardi Pranggono

Phishing attacks remain one of the most prevalent threats to online security, with the Anti-Phishing Working Group reporting over 890,000 attacks in Q3 2025 alone. Traditional password-based authentication is particularly vulnerable to such…

密码学与安全 · 计算机科学 2026-04-23 Alexander Berladskyy , Andreas Aßmuth

OAuth 2.0 is a framework for authorization. Being a framework, OAuth 2.0 allows extensions to build on top of it. OpenID Connect is one such extension which adds authentication layer using identity details. OAuth 2.0 define several roles…

密码学与安全 · 计算机科学 2018-11-26 Kavindu Dodanduwa , Ishara Kaluthanthri

The greatest advantage that Web3 applications offer over Web 2.0 is the evolution of the data access layer. Opaque, centralized services that compelled trust from users are replaced by trustless, decentralized systems of smart contracts.…

计算机与社会 · 计算机科学 2024-04-25 Blake Regalia , Benjamin Adams

Frontier artificial intelligence (AI) systems pose increasing risks to society, making it essential for developers to provide assurances about their safety. One approach to offering such assurances is through a safety case: a structured,…

计算机与社会 · 计算机科学 2024-11-14 Arthur Goemans , Marie Davidsen Buhl , Jonas Schuett , Tomek Korbak , Jessica Wang , Benjamin Hilton , Geoffrey Irving

Objective. Insecure Direct Object Reference (IDOR) or Broken Object Level Authorization (BOLA) are one of the critical type of access control vulnerabilities for modern applications. As a result, an attacker can bypass authorization checks…

密码学与安全 · 计算机科学 2022-01-27 Alexander Barabanov , Denis Dergunov , Denis Makrushin , Aleksey Teplov

AI-assisted developer services are increasingly embedded in modern IDEs, yet enterprises must ensure these tools operate within existing identity, access control, and governance requirements. The Model Context Protocol (MCP) enables AI…

软件工程 · 计算机科学 2026-01-07 Manideep Reddy Chinthareddy

A look at Identity as a Service (IDaaS) and Federated Identity Management (FIM) and acceptance amongst organizations, users, and general population. While FIM has shown acceptance amongst educational, commercial and government…

计算机与社会 · 计算机科学 2018-10-16 John Sherlock , Manoj Muniswamaiah , Lauren Clarke , Shawn Cicoria

Due to the frequent encountering of web URLs in various application scenarios (e.g., chatting and email reading), many mobile apps build their in-app browsing interfaces (IABIs) to provide a seamless user experience. Although this achieves…

密码学与安全 · 计算机科学 2022-09-07 Zicheng Zhang , Daoyuan Wu , Lixiang Li , Debin Gao

Frontier AI companies increasingly rely on external evaluations to assess risks from dangerous capabilities before deployment. However, external evaluators often receive limited model access, limited information, and little time, which can…

计算机与社会 · 计算机科学 2026-01-21 Jacob Charnock , Alejandro Tlaie , Kyle O'Brien , Stephen Casper , Aidan Homewood

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

The emergence of chiplet-based heterogeneous integration is transforming the semiconductor, AI, and high-performance computing industries by enabling modular designs and improved scalability. However, assembling chiplets from multiple…

密码学与安全 · 计算机科学 2025-07-08 Ishraq Tashdid , Tasnuva Farheen , Sazadur Rahman