English
Related papers

Related papers: An Extensive Formal Security Analysis of the OpenI…

200 papers

The integration of Artificial Intelligence (AI) into safety-critical systems introduces a new reliability paradigm: silent failures, where AI produces confident but incorrect outputs that can be dangerous. This paper introduces the Formal…

Software Engineering · Computer Science 2026-03-03 Guan-Yan Yang , Farn Wang

Internet of Things is growing rapidly, with many connected devices now available to consumers. With this growth, the IoT apps that manage the devices from smartphones raise significant security concerns. Typically, these apps are secured…

Cryptography and Security · Computer Science 2018-11-06 Davino Mauro Junior , Kiev Gama , Atul Prakash

Intimate Partner Infiltration (IPI)--a type of Intimate Partner Violence (IPV) that typically requires physical access to a victim's device--is a pervasive concern around the world, often manifesting through digital surveillance, control,…

Cryptography and Security · Computer Science 2025-06-13 Weisi Yang , Shinan Liu , Feng Xiao , Nick Feamster , Stephen Xia

The widespread adoption of cloud computing has resulted in the proliferation of open source cloud computing frameworks that give more control to enterprises over their data and networks. Though the benefits of open source software are…

Software Engineering · Computer Science 2018-05-16 Irum Rauf , Elena Troubitsyna

DeFi, or Decentralized Finance, is based on a distributed ledger called blockchain technology. Using blockchain, DeFi may customize the execution of predetermined operations between parties. The DeFi system use blockchain technology to…

Cryptography and Security · Computer Science 2023-04-27 Wenkai Li , Jiuyang Bu , Xiaoqi Li , Hongli Peng , Yuanzheng Niu , Yuqing Zhang

Recently, significant advancements have been made in face recognition technologies using Deep Neural Networks. As a result, companies such as Microsoft, Amazon, and Naver offer highly accurate commercial face recognition web services for…

Computer Vision and Pattern Recognition · Computer Science 2021-03-03 Shahroz Tariq , Sowon Jeon , Simon S. Woo

With the advances in 5G and IoT devices, the industries are vastly adopting artificial intelligence (AI) techniques for improving classification and prediction-based services. However, the use of AI also raises concerns regarding privacy…

Cryptography and Security · Computer Science 2022-01-19 Sunder Ali Khowaja , Kapal Dev , Nawab Muhammad Faseeh Qureshi , Parus Khuwaja , Luca Foschini

Autonomous UI agents powered by AI have tremendous potential to boost human productivity by automating routine tasks such as filing taxes and paying bills. However, a major challenge in unlocking their full potential is security, which is…

Cryptography and Security · Computer Science 2025-05-20 Ivan Evtimov , Arman Zharmagambetov , Aaron Grattafiori , Chuan Guo , Kamalika Chaudhuri

Decentralized finance (DeFi) has become one of the most successful applications of blockchain and smart contracts. The DeFi ecosystem enables a wide range of crypto-financial activities, while the underlying smart contracts often contain…

Cryptography and Security · Computer Science 2021-04-20 Palina Tolmach , Yi Li , Shang-Wei Lin , Yang Liu

AI agents and business automation tools interacting with external web services require standardized, machine-readable information about their APIs in the form of API specifications. However, the information about APIs available online is…

European financial institutions face mounting regulatory pressure while their security operations centres remain constrained not by data or staffing but by reasoning capacity: enterprise SIEMs cover only a fraction of MITRE ATT&CK…

Large Language Models (LLMs) increasingly serve as consumers of API specifications, whether for code generation, autonomous agent interaction, or API-assisted reasoning. The de facto standard for API description, OpenAPI, was designed for…

Software Engineering · Computer Science 2026-02-24 Daniel Garcia

Growing code bases of modern applications have led to a steady increase in the number of vulnerabilities. Control-Flow Integrity (CFI) is one promising mitigation that is more and more widely deployed and prevents numerous exploits. CFI…

Cryptography and Security · Computer Science 2022-03-01 Claudio Canella , Sebastian Dorn , Daniel Gruss , Michael Schwarz

Today, financial institutions (FIs) store and share consumers' financial data for various reasons such as offering loans, processing payments, and protecting against fraud and financial crime. Such sharing of sensitive data have been…

Cryptography and Security · Computer Science 2023-06-21 Panagiotis Chatzigiannis , Wanyun Catherine Gu , Srinivasan Raghuraman , Peter Rindal , Mahdi Zamani

Millions of users leverage generative pretrained transformer (GPT)-based language models developed by leading model providers for a wide range of tasks. To support enhanced user interaction and customization, many platforms-such as…

Cryptography and Security · Computer Science 2025-05-14 Sunday Oyinlola Ogundoyin , Muhammad Ikram , Hassan Jameel Asghar , Benjamin Zi Hao Zhao , Dali Kaafar

The Manufacturer Usage Description (MUD) standard enables enforcement of network restrictions for IoT devices based on their expected network traffic, as specified by manufacturers in an online MUD file. Devices advertise a URL pointing to…

Cryptography and Security · Computer Science 2026-05-29 Alessandro Lotto , Savio Sciancalepore , Alessandro Brighente , Mauro Conti

Lightweight authentication is essential for resource-constrained Internet-of-Things (IoT). Implementable with low resource and operable with low power, Physical Unclonable Functions (PUFs) have the potential as hardware primitives for…

Cryptography and Security · Computer Science 2026-04-14 Yu Zhuang , Gaoxiang Li

In recent years there has been a tremendous surge in the general capabilities of AI systems, mainly fuelled by training foundation models on internetscale data. Nevertheless, the creation of openended, ever self-improving AI remains…

Deepfakes, as AI-generated media, have increasingly threatened media integrity and personal privacy with realistic yet fake digital content. In this work, we introduce an open-source and user-friendly online platform, DeepFake-O-Meter v2.0,…

Cryptography and Security · Computer Science 2024-06-28 Yan Ju , Chengzhe Sun , Shan Jia , Shuwei Hou , Zhaofeng Si , Soumyya Kanti Datta , Lipeng Ke , Riky Zhou , Anita Nikolich , Siwei Lyu

Internet banking (IB) continues to face security concerns arising from illegal access to users accounts. Use of personal identification numbers (PIN) as a single authentication method for IB users is prone to insecurities such as phishing,…

Cryptography and Security · Computer Science 2021-05-21 Cherinor Umaru Bah , Afzaal Hussain Seyal , Umar Yahya
‹ Prev 1 3 4 5 6 7 10 Next ›