中文
相关论文

相关论文: Verifiable Elections with Commitment Consistent En…

200 篇论文

Recently, various side-channel attacks on widely used encryption methods have been discovered. Extensive research is currently undertaken to develop new types of combined encryption and authentication mechanisms. Developers of security…

密码学与安全 · 计算机科学 2007-05-23 Hans-Rudolf Thomann

In the last decades, Cyber-physical Systems (CPSs) have experienced a significant technological evolution and increased connectivity, at the cost of greater exposure to cyber-attacks. Since many CPS are used in safety-critical systems, such…

密码学与安全 · 计算机科学 2025-06-13 Stefano Longari , Alessandro Pozone , Jessica Leoni , Mario Polino , Michele Carminati , Mara Tanelli , Stefano Zanero

In this letter, first, we investigate the security of a continuous-variable quantum cryptographic scheme with a postselection process against individual beam splitting attack. It is shown that the scheme can be secure in the presence of the…

量子物理 · 物理学 2009-11-10 Ryo Namiki , Takuya Hirano

The paper concerns the protection of the secrecy of ballots, so that the identity of the voters cannot be matched with their vote. To achieve this we use an entangled quantum state to represent the ballots. Each ballot includes the identity…

量子物理 · 物理学 2007-05-23 Shahar Dolev , Itamar Pitowsky , Boaz Tamir

Enterprise software organizations face an escalating challenge in maintaining the integrity, security, and freshness of codebases that span hundreds of repositories, multiple programming languages, and thousands of interdependent packages.…

软件工程 · 计算机科学 2026-04-16 Santhosh Kusuma Kumar Parimi

A private information retrieval (PIR) scheme is a protocol that allows a user to retrieve a file from a database without revealing the identity of the desired file to a curious database. Given a distributed data storage system, efficient…

信息检索 · 计算机科学 2025-08-08 Camilla Hollanti , Neehar Verma

In the current pandemic, testing continues to be the most important tool for monitoring and curbing the disease spread and early identification of the disease to perform health-related interventions like quarantine, contact tracing and etc.…

密码学与安全 · 计算机科学 2020-12-08 Abhishek Singh , Ramesh Raskar

We claim that existing techniques and tools for generating and verifying constant-time code are incomplete, since they rely on assumptions that compiler optimization passes do not break constant-timeness or that certain operations execute…

密码学与安全 · 计算机科学 2023-11-27 Garrett Gu , Hovav Shacham

A revocable-storage attribute-based encryption (RS-ABE) scheme is an encryption scheme which extends attribute-based encryption by intro- ducing user revocation. A key-policy RS-ABE scheme links each key to an access structure. We propose a…

密码学与安全 · 计算机科学 2019-04-26 Federico Giacon , Riccardo Aragona , Massimiliano Sala

Many security techniques working at the physical layer need a correct channel state information (CSI) at the transmitter, especially when devices are equipped with multiple antennas. Therefore such techniques are vulnerable to pilot…

信息论 · 计算机科学 2016-09-09 Stefano Tomasin , Ingmar Land , Frédéric Gabry

The paper presents an analysis of Commitment Schemes (CSs) used in Multi-Party Computation (MPC) protocols. While the individual properties of CSs and the guarantees offered by MPC have been widely studied in isolation, their interrelation…

密码学与安全 · 计算机科学 2025-06-13 Ioan Ionescu , Ruxandra F. Olimid

This paper proposed the application of post-encryption-compression (PEC) to strengthen the secrecy in the case of distributed encryption where the encryption keys are correlated to each other. We derive the universal code construction for…

信息论 · 计算机科学 2018-01-17 Bagus Santoso , Yasutada Oohama

Online voting enables individuals to participate in elections remotely, offering greater efficiency and accessibility in both governmental and organizational settings. As this method gains popularity, ensuring the security of online voting…

密码学与安全 · 计算机科学 2025-09-22 Anastasiia Belousova , Francesco Marchiori , Mauro Conti

Confidentiality and Integrity are two paramount objectives in the evaluation of information and communication technology. In this paper, we propose an arithmetic approach for designing asymmetric key cryptography. Our method is based on the…

密码学与安全 · 计算机科学 2020-05-18 Md. Helal Ahmed , Jagmohan Tanti , Sumant Pushp

We introduce cryptographic protocols for securely and efficiently computing the cardinality of set union and set intersection. Our private set-cardinality protocols (PSC) are designed for the setting in which a large set of parties in a…

密码学与安全 · 计算机科学 2022-07-01 Ellis Fenske , Akshaya Mani , Aaron Johnson , Micah Sherr

In his 1984 Turing Award lecture, Ken Thompson showed that a compiler could be maliciously altered to insert backdoors into programs it compiles and perpetuate this behavior by modifying any compiler it subsequently builds. Thompson's hack…

编程语言 · 计算机科学 2025-08-19 Guilherme de Oliveira Silva , Fernando Magno Quintão Pereira

Data replication is essential to ensure reliability, availability and fault-tolerance of massive distributed applications over large scale systems such as the Internet. However, these systems are prone to partitioning, which by Brewer's CAP…

分布式、并行与集群计算 · 计算机科学 2015-01-12 Matthieu Perrin , Achour Mostéfaoui , Claude Jard

Given the open nature of the Internet, there is a need for authentication schemes to address inherent trust issues. We present Tortoise, an experimental nonce-based authenticated encryption scheme modeled on the Synthetic Counter-in-Tweak.…

密码学与安全 · 计算机科学 2024-03-12 Kenneth Odoh

In this note, we characterize the form of an invertible quantum operation, i.e., a completely positive trace preserving linear transformation (a CPTP map) whose inverse is also a CPTP map. The precise form of such maps becomes important in…

量子物理 · 物理学 2018-03-22 Ashwin Nayak , Pranab Sen

Fully Homomorphic Encryption (FHE) allows computations to be performed directly on encrypted data without needing to decrypt it first. This "encryption-in-use" feature is crucial for securely outsourcing computations in privacy-sensitive…

密码学与安全 · 计算机科学 2024-10-22 Muhammad Husni Santriaji , Jiaqi Xue , Qian Lou , Yan Solihin