中文
相关论文

相关论文: Finding Safety in Numbers with Secure Allegation E…

200 篇论文

Safety cases, structured arguments that a system is acceptably safe, are becoming central to the governance of AI systems. Yet, traditional safety-case practices from aviation or nuclear engineering rely on well-specified system boundaries,…

软件工程 · 计算机科学 2026-03-09 Sung Une Lee , Liming Zhu , Md Shamsujjoha , Liming Dong , Qinghua Lu , Jieshan Chen , Lionel Briand

Adversarial examples have gained tons of attention in recent years. Many adversarial attacks have been proposed to attack image classifiers, but few work shift attention to object detectors. In this paper, we propose Sparse Adversarial…

计算机视觉与模式识别 · 计算机科学 2020-12-29 Jiayu Bao

In machine learning, it is common to obtain multiple equally performing models for the same prediction task, e.g., when training neural networks with different random seeds. Model multiplicity (MM) is the situation which arises when these…

机器学习 · 计算机科学 2025-06-26 Junqi Jiang , Antonio Rago , Francesco Leofante , Francesca Toni

Machine Learning (ML) systems are vulnerable to adversarial examples, particularly those from query-based black-box attacks. Despite various efforts to detect and prevent such attacks, ML systems are still at risk, demanding a more…

机器学习 · 计算机科学 2025-02-21 Yue Gao , Ilia Shumailov , Kassem Fawaz

Semantic security is considered with unreliable entanglement assistance, due to one of two reasons: Interception or loss. We consider two corresponding models. In the first model, Eve may intercept the entanglement resource. In the second…

量子物理 · 物理学 2024-11-28 Meir Lederman , Uzi Pereg

Arguments about the safety, security, and correctness of a complex system are often made in the form of an assurance case. An assurance case is a structured argument, often represented with a graphical interface, that presents and supports…

软件工程 · 计算机科学 2014-09-17 Andrew Gacek , John Backes , Darren Cofer , Konrad Slind , Mike Whalen

Cross-silo federated learning (FL) enables multiple clients to collaboratively train a machine learning model without sharing training data, but privacy in FL remains a major challenge. Techniques using homomorphic encryption (HE) have been…

密码学与安全 · 计算机科学 2023-05-16 Jiahui Wu , Weizhe Zhang , Fucai Luo

As computer systems become more pervasive and complex, security is increasingly important. Secure Transmission refers to the transfer of data such as confidential or proprietary information over a secure channel. Many secure transmission…

多媒体 · 计算机科学 2013-07-01 Deepali Virmani , Nidhi Beniwal , Gargi Mandal , Saloni Talwar

Mainstream messaging platforms offer a variety of features designed to enhance user privacy, such as password-protected chats and end-to-end encryption, which primarily protect message contents. Beyond contents, a lot can be inferred about…

密码学与安全 · 计算机科学 2025-09-16 Carla F. Griggio , Boel Nelson , Zefan Sramek , Aslan Askarov

In a traditional cloud storage system, users benefit from the convenience it provides but also take the risk of certain security and privacy issues. To ensure confidentiality while maintaining data sharing capabilities, the…

密码学与安全 · 计算机科学 2023-09-11 Jingchi Zhang , Anwitaman Datta

Conjunctive Searchable Symmetric Encryption (CSSE) enables secure conjunctive searches over encrypted data. While leakage-abuse attacks (LAAs) against single-keyword SSE have been extensively studied, their extension to conjunctive queries…

密码学与安全 · 计算机科学 2025-07-29 Yue Su , Meng Shen , Cong Zuo , Yuzhi Liu , Liehuang Zhu

Semantic communication is implemented based on shared background knowledge, but the sharing mechanism risks privacy leakage. In this letter, we propose an encrypted semantic communication system (ESCS) for privacy preserving, which combines…

信息论 · 计算机科学 2022-09-20 Xinlai Luo , Zhiyong Chen , Meixia Tao , Feng Yang

A decision tree is an easy-to-understand tool that has been widely used for classification tasks. On the one hand, due to privacy concerns, there has been an urgent need to create privacy-preserving classifiers that conceal the user's input…

密码学与安全 · 计算机科学 2025-05-06 Andrew Quijano , Spyros T. Halkidis , Kevin Gallagher , Kemal Akkaya , Nikolaos Samaras

Caller ID parodying produces the valid Caller character, in this manner deciding seem to start from another client. This apparently basic assault strategy has been utilized in the developing communication fake and trick calls, bringing…

密码学与安全 · 计算机科学 2020-04-02 Volodymyr Buriachok , Volodymyr Sokolov , Mahyar TajDini

Cryptography has been widely accepted for security and partly for privacy control as discovered from past works. However, many of these works did not provide a way to manage cryptographic keys effectively especially in EHR applications, as…

密码学与安全 · 计算机科学 2015-06-12 Adebayo Omotosho , Justice Emuoyibofarhe

Auditing the semantic properties of proprietary data creates a fundamental tension: verification requires transparent access, while proprietary rights demand confidentiality. While Zero-Knowledge Proofs (ZKPs) ensure privacy, they are…

密码学与安全 · 计算机科学 2026-04-28 Antony Rowstron

Electronic whistleblowing systems are widely used due to their efficiency and convenience. The key to designing such systems lies in protecting the identity privacy of whistleblowers, preventing malicious whistleblowing, and ensuring the…

密码学与安全 · 计算机科学 2025-09-23 Huifang Yu , Jiaxing Jie , Lei Li

This paper contributes to the challenging field of security for wireless sensor networks by introducing a key agreement scheme in which sensor nodes create secure radio connections with their neighbours depending on the aid of third…

密码学与安全 · 计算机科学 2013-09-11 Saleh Almowuena

A traditional assurance case employs a positive argument in which reasoning steps, grounded on evidence and assumptions, sustain a top claim that has external significance. Human judgement is required to check the evidence, the assumptions,…

人工智能 · 计算机科学 2024-05-28 Robin Bloomfield , Kate Netkachova , John Rushby

Creating anonymity means cutting connections. A common goal in this context is to prevent accountability. This prevention of accountability can be problematic, for example, if it leads to delinquents remaining undetected. However,…

计算机与社会 · 计算机科学 2021-10-19 Paula Helm