English
Related papers

Related papers: Zer0n: An AI-Assisted Vulnerability Discovery and …

200 papers

The integration of Generative Artificial Intelligence (GenAI) in healthcare is impeded by significant security challenges unaddressed by traditional frameworks, precisely the data-in-use gap where sensitive patient data and proprietary AI…

Cryptography and Security · Computer Science 2025-11-18 Adaobi Amanna , Ishana Shinde

In collaborative systems with complex tasks relying on distributed resources, trust evaluation of potential collaborators has emerged as an effective mechanism for task completion. However, due to the network dynamics and varying…

Artificial Intelligence · Computer Science 2025-08-04 Botao Zhu , Xianbin Wang , Lei Zhang , Xuemin , Shen

Autonomous Vehicles (AV) proliferation brings important and pressing security and reliability issues that must be dealt with to guarantee public safety and help their widespread adoption. The contribution of the proposed research is towards…

Cryptography and Security · Computer Science 2025-05-13 Rathin Chandra Shit , Sharmila Subudhi

The rise of space AI is reshaping government and industry through applications such as disaster detection, border surveillance, and climate monitoring, powered by massive data from commercial and governmental low Earth orbit (LEO)…

Cryptography and Security · Computer Science 2025-12-10 Mohamed Elmahallawy , Asma Jodeiri Akbarfam

Recent years have witnessed a growing focus on automated software vulnerability detection. Notably, deep learning (DL)-based methods, which employ source code for the implicit acquisition of vulnerability patterns, have demonstrated…

Software Engineering · Computer Science 2024-01-17 Xin-Cheng Wen , Cuiyun Gao , Xinchen Wang , Ruiqi Wang , Tao Zhang , Qing Liao

Recent advances in artificial intelligence (AI), particularly deep learning, have led to widespread adoption across various applications. Yet, a fundamental challenge persists: how can we verify the correctness of AI model inference when…

Cryptography and Security · Computer Science 2025-11-26 Yunxiao Wang

Monitoring the technical condition of infrastructure is a crucial element to its maintenance. Currently applied methods are outdated, labour-intensive and inaccurate. At the same time, the latest methods using Artificial Intelligence…

Computer Vision and Pattern Recognition · Computer Science 2021-11-30 Mateusz Żarski , Bartosz Wójcik , Jarosław Adam Miszczak

The development of underlying technologies in blockchain mostly revolves around a difficult problem: how to enhance the performance of the system and reduce various costs of nodes (such as communication, storage and verification) without…

Cryptography and Security · Computer Science 2023-12-04 Lide Xue , Wei Yang , Wei Li

The Internet of Vehicles (IoV) is a crucial technology for Intelligent Transportation Systems (ITS) that integrates vehicles with the Internet and other entities. The emergence of 5G and the forthcoming 6G networks presents an enormous…

Cryptography and Security · Computer Science 2024-07-04 Abdelaziz Amara korba , Abdelwahab Boualouache , Yacine Ghamri-Doudane

Despite the continued research and progress in building secure systems, Android applications continue to be ridden with vulnerabilities, necessitating effective detection methods. Current strategies involving static and dynamic analysis…

Cryptography and Security · Computer Science 2024-02-14 Noble Saji Mathews , Yelizaveta Brus , Yousra Aafer , Meiyappan Nagappan , Shane McIntosh

Large Reasoning Models (LRMs) and Multi-Agent Systems (MAS) in high-stakes domains demand reliable verification, yet centralized approaches suffer four limitations: (1) Robustness, with single points of failure vulnerable to attacks and…

Artificial Intelligence · Computer Science 2026-05-01 Yu-Chao Huang , Zhen Tan , Mohan Zhang , Pingzhi Li , Zhuo Zhang , Tianlong Chen

Smart contracts, integral to blockchain ecosystems, enable decentralized applications to execute predefined operations without intermediaries. Their ability to enforce trustless interactions has made them a core component of platforms such…

Cryptography and Security · Computer Science 2025-06-10 Mesut Ozdag

Decentralized inference provides a scalable and resilient paradigm for serving large language models (LLMs), enabling fragmented global resource utilization and reducing reliance on centralized providers. However, in a permissionless…

Cryptography and Security · Computer Science 2026-01-23 Ke Wang , Zishuo Zhao , Xinyuan Song , Zelin Li , Libin Xia , Chris Tong , Bill Shi , Wenjie Qu , Eric Yang , Lynn Ai

The accelerating adoption of large language models, retrieval-augmented generation pipelines, and multi-agent AI workflows has created a structural governance crisis. Organizations cannot govern what they cannot see, and existing compliance…

We introduce DaiMoN, a decentralized artificial intelligence model network, which incentivizes peer collaboration in improving the accuracy of machine learning models for a given classification problem. It is an autonomous network where…

Machine Learning · Computer Science 2019-07-22 Surat Teerapittayanon , H. T. Kung

The rapid advancement of autonomous driving technology is accompanied by substantial challenges, particularly the reliance on remote task execution without ensuring a reliable and accurate returned results. This reliance on external compute…

Cryptography and Security · Computer Science 2025-02-12 Amir Esmaeili , Abderrahmen Mtibaa

Deepfake technology is a major threat to the integrity of digital media. This paper presents a comprehensive framework for a blockchain-based decentralized system designed to tackle the escalating challenge of digital content integrity. The…

Cryptography and Security · Computer Science 2023-12-05 Dipankar Sarkar

Despite the numerous efforts of security researchers, memory vulnerabilities remain a top issue for modern computing systems. Capability-based solutions aim to solve whole classes of memory vulnerabilities at the hardware level by encoding…

Hardware Architecture · Computer Science 2022-08-23 Alan Ehret , Jacob Abraham , Mihailo Isakov , Michel A. Kinsy

The large-scale deployment of Solidity smart contracts on the Ethereum mainnet has increasingly attracted financially-motivated attackers in recent years. A few now-infamous attacks in Ethereum's history includes DAO attack in 2016 (50…

Cryptography and Security · Computer Science 2024-10-29 Md Tauseef Alam , Raju Halder , Abyayananda Maiti

The rapid integration of Large Language Models (LLMs) into decentralized physical infrastructure networks (DePIN) is currently bottlenecked by the Verifiability Trilemma, which posits that a decentralized inference system cannot…

Cryptography and Security · Computer Science 2025-12-24 Aaron Chan , Alex Ding , Frank Chen , Alan Wu , Bruce Zhang , Arther Tian