中文
相关论文

相关论文: The Random Oracle Methodology, Revisited

200 篇论文

Cryptographic algorithms have been used not only to create robust ciphertexts but also to generate cryptograms that, contrary to the classic goal of cryptography, are meant to be broken. These cryptograms, generally called puzzles, require…

密码学与安全 · 计算机科学 2022-08-03 Isra Mohamed Ali , Maurantonio Caprolu , Roberto Di Pietro

Often, security is considered in an advanced stage of the implementation of a system, rather than integrating it into the system design. This leads to less secure systems, as the security mechanisms are only applied as an afterthought and…

密码学与安全 · 计算机科学 2014-08-13 Michael Tänzer

We present the Foundational Cryptography Framework (FCF) for developing and checking complete proofs of security for cryptographic schemes within a proof assistant. This is a general-purpose framework that is capable of modeling and…

编程语言 · 计算机科学 2014-10-15 Adam Petcher , Greg Morrisett

We call quantum security the area of IT security dealing with scenarios where one or more parties have access to quantum hardware. This encompasses both the fields of post-quantum cryptography (that is, traditional cryptography engineered…

密码学与安全 · 计算机科学 2017-05-30 Tommaso Gagliardoni

Todays market evolution and high volatility of business requirements put an increasing emphasis on the ability for systems to accommodate the changes required by new organizational needs while maintaining security objectives satisfiability.…

其他计算机科学 · 计算机科学 2012-11-21 Manjula Shenoy. K , K. C. Shet , U. Dinesh Acharya

Since its inception, the blockchain technology has shown promising application prospects. From the initial cryptocurrency to the current smart contract, blockchain has been applied to many fields. Although there are some studies on the…

密码学与安全 · 计算机科学 2020-11-05 Xiaoqi Li , Peng Jiang , Ting Chen , Xiapu Luo , Qiaoyan Wen

A new cryptographic approach -- Iterated Random Encryption (IRE) -- is presented here. Although it is very simple, and easy to implement, it provides a very high level of security. According to this approach, a sequence of operations…

密码学与安全 · 计算机科学 2018-10-30 Osvaldo Skliar , Sherry Gapper , Ricardo E. Monge

Generating code from a natural language programming task is one of the most successful applications of Large Language Models (LLMs). Yet, the generated program may be buggy. Without an oracle, such as an existing, correct implementation or…

编程语言 · 计算机科学 2025-12-16 Thomas Valentin , Ardi Madadi , Gaetano Sapia , Marcel Böhme

Encryption schemes often derive their power from the properties of the underlying algebra on the symbols used. Inspired by group theoretic tools, we use the centralizer of a subgroup of operations to present a private-key quantum…

量子物理 · 物理学 2020-02-21 Si-Hui Tan , Joshua A. Kettlewell , Yingkai Ouyang , Lin Chen , Joseph F. Fitzsimons

Chebyshev polynomials have been recently proposed for designing public-key systems. Indeed, they enjoy some nice chaotic properties, which seem to be suitable for use in Cryptography. Moreover, they satisfy a semi-group property, which…

密码学与安全 · 计算机科学 2007-05-23 Pina Bergamo , Paolo D'Arco , Alfredo De Santis , Ljupco Kocarev

The goal of this paper is to introduce ideas and methodology of the generic case complexity to cryptography community. This relatively new approach allows one to analyze the behavior of an algorithm on ''most'' inputs in a simple and…

计算复杂性 · 计算机科学 2008-02-27 Alex D. Myasnikov

This survey provides a comparative overview of code-based signature schemes with respect to security and performance. Furthermore, we explicitly describe serveral code-based signature schemes with additional properties such as…

密码学与安全 · 计算机科学 2013-12-17 Pierre-Louis Cayrel , Mohammed Meziani

The breakthrough of achieving fully homomorphic encryption sparked enormous studies on where and how to apply homomorphic encryption schemes so that operations can be performed on encrypted data without the secret key while still obtaining…

密码学与安全 · 计算机科学 2021-06-28 Yang Li

We investigate quantum authentication schemes constructed from quantum error-correcting codes. We show that if the code has a property called purity testing, then the resulting authentication scheme guarantees the integrity of ciphertexts,…

量子物理 · 物理学 2018-04-09 Yfke Dulek , Florian Speelman

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

Is there a way to design powerful AI systems based on machine learning methods that would satisfy probabilistic safety guarantees? With the long-term goal of obtaining a probabilistic guarantee that would apply in every context, we consider…

An author (arXiv:1709.09262 [quant-ph] (2017), Nanoscale Research Letters (2017) 12:552) has recently questioned the security of two-way quantum key distribution schemes by referring to attack strategies which leave no errors in the (raw)…

量子物理 · 物理学 2019-10-22 Jesni Shamsul Shaari , Stefano Mancini , Stefano Pirandola , Marco Lucamarini

Password users frequently employ passwords that are too simple, or they just reuse passwords for multiple websites. A common complaint is that utilizing secure passwords is too difficult. One possible solution to this problem is to use a…

密码学与安全 · 计算机科学 2019-06-04 Elan Rosenfeld , Santosh Vempala , Manuel Blum

Quantum computer is no longer a hypothetical idea. It is the worlds most important technology and there is a race among countries to get supremacy in quantum technology. Its the technology that will reduce the computing time from years to…

密码学与安全 · 计算机科学 2022-04-07 Manish Kumar

This paper first reviews some basic properties of cryptographic hash function, secret sharing scheme, and Latin square. Then we discuss why Latin square or its critical set is a good choice for secret representation and its relationship…

密码学与安全 · 计算机科学 2011-07-12 Chi Sing Chum , Xiaowen Zhang