中文
相关论文

相关论文: Revocable Anonymous Credentials from Attribute-Bas…

200 篇论文

Attribute-driven privacy aims to conceal a single user's attribute, contrary to anonymisation that tries to hide the full identity of the user in some data. When the attribute to protect from malicious inferences is binary, perfect privacy…

密码学与安全 · 计算机科学 2022-01-25 Paul-Gauthier Noé , Andreas Nautsch , Driss Matrouf , Pierre-Michel Bousquet , Jean-François Bonastre

A group authentication protocol authenticates pre-defined groups of individuals such that: - No individual is identified - No knowledge of which groups can be successfully authenticated is known to the verifier - No sensitive data is…

密码学与安全 · 计算机科学 2016-08-31 Scott B. Guthery

In identity-based encryption (IBE) systems, an efficient key delegation method to manage a large number of users and an efficient key revocation method to handle the dynamic credentials of users are needed. Revocable hierarchical IBE…

密码学与安全 · 计算机科学 2016-10-26 Seunghwan Park , Dong Hoon Lee , Kwangsu Lee

We propose a protocol for verifiable remote voting with paper assurance. It is intended to augment existing postal voting procedures, allowing a ballot to be electronically constructed, printed on paper, then returned in the post. It allows…

密码学与安全 · 计算机科学 2021-11-10 Eleanor McMurtry , Xavier Boyen , Chris Culnane , Kristian Gjøsteen , Thomas Haines , Vanessa Teague

Witness functions have recently been introduced in cryptographic protocols' literature as a new powerful way to prove protocol correctness with respect to secrecy. In this paper, we extend them to the property of authentication. We show how…

密码学与安全 · 计算机科学 2019-03-15 Jaouhar Fattahi , Mohamed Mejri , Emil Pricop

In blockchain-based anonymous cryptocurrencies, due to their tamper-resistance and transparency characteristics, transaction data are initially required to be anonymous, with the help of various cryptographic techniques, e.g., commitment…

密码学与安全 · 计算机科学 2024-10-30 Takeshi Miyamae , Kanta Matsuura

An authenticated encryption scheme allows messages to be encrypted and authenticated simultaneously. In 2003, Ma and Chen proposed such a scheme with public verifiability. That is, in their scheme the receiver can efficiently prove to a…

密码学与安全 · 计算机科学 2007-05-23 Guilin Wang , Feng Bao , Changshe Ma , Kefei Chen

European Digital Identity (EUDI) Wallet aims to provide end users with a way to get attested credentials from issuers, and present them to different relying parties. An important property mentioned in the regulatory frameworks is the…

密码学与安全 · 计算机科学 2026-03-25 Jelizaveta Vakarjuk , Alisa Pankova

Cryptographic protocols aim at securing communications over insecure networks such as the Internet, where dishonest users may listen to communications and interfere with them. A secure communication has a different meaning depending on the…

密码学与安全 · 计算机科学 2016-11-10 Stéphanie Delaune , Lucca Hirschi

Electronic tickets (e-tickets) are electronic versions of paper tickets, which enable users to access intended services and improve services' efficiency. However, privacy may be a concern of e-ticket users. In this paper, a…

密码学与安全 · 计算机科学 2018-06-27 Jinguang Han , Liqun Chen , Steve Schneider , Helen Treharne , Steve Wesemeyer

We revisit the privacy-utility tradeoff of x-vector speaker anonymization. Existing approaches quantify privacy through training complex speaker verification or identification models that are later used as attacks. Instead, we propose a…

密码学与安全 · 计算机科学 2025-05-15 Luke Bauer , Wenxuan Bao , Malvika Jadhav , Vincent Bindschaedler

Reflow is a novel signature scheme supporting unlinkable signatures by multiple parties authenticated by means of zero-knowledge credentials. Reflow integrates with blockchains and graph databases to ensure confidentiality and authenticity…

密码学与安全 · 计算机科学 2021-06-01 Denis Roio , Alberto Ibrisevic , Andrea D'Intino

For the formal verification of a network security policy, it is crucial to express the verification goals. These formal goals, called security invariants, should be easy to express for the end user. Focusing on access control and…

密码学与安全 · 计算机科学 2016-04-04 Cornelius Diekmann , Stephan-A. Posselt , Heiko Niedermayer , Holger Kinkelin , Oliver Hanka , Georg Carle

Blockchain's immutability can resist unauthorized changes of ledgers, thus it can be used as a trust enhancement mechanism to a shared system. Indeed, blockchain has been considered to solve the security and privacy issues of the Internet…

密码学与安全 · 计算机科学 2022-06-17 Yang Liu , Terry Guo , Zhe Chen , Xueying Jiang

Proofs of Retrievability are protocols which allow a Client to store data remotely and to efficiently ensure, via audits, that the entirety of that data is still intact. Dynamic Proofs of Retrievability (DPoR) also support efficient…

密码学与安全 · 计算机科学 2023-03-14 Jean-Guillaume Dumas , Aude Maignan , Clément Pernet , Daniel S. Roche

This work presents an application of the highly expressive Attribute-Based Encryption to implement Secure Zones for firearms. Within these zones, radio-transmitted local policies based on attributes of the user and the firearm are received…

密码学与安全 · 计算机科学 2015-04-28 Marcos Portnoi , Chien-Chung Shen

Most user authentication methods and identity proving systems rely on a centralized database. Such information storage presents a single point of compromise from a security perspective. If this system is compromised it poses a direct threat…

密码学与安全 · 计算机科学 2017-11-21 Asem Othman , John Callahan

The use of e-Auction services has been increasing in recent years. Security requirements in conducting e-Auctions are mainly bid privacy, anonymity and public verifiability. Most of the secure protocols concentrate on privacy and anonymity,…

密码学与安全 · 计算机科学 2011-09-05 T. R. Srinath , Mahendra Pratap Singh , Alwyn Roshan Pais

In this paper we proposed an authentication technique based on the user cards, to improve the authentication process in systems that allows remote access for the users, and raise the security rate during an exchange of their messages. in…

密码学与安全 · 计算机科学 2021-08-17 Ibrahim Obeidat , Ahmed AL Arjan , Rula AL Amrat , Rathaa AL Ajmi

This article builds upon the protocol for digital transfers described by Goodell, Toliver, and Nakib, which combines privacy by design for consumers with strong compliance enforcement for recipients of payments and self-validating assets…

密码学与安全 · 计算机科学 2026-04-22 Daniele Friolo , Geoffrey Goodell , Dann Toliver , Hazem Danny Nakib