English
Related papers

Related papers: Fusion Discrete Logarithm Problems

200 papers

Polycyclic groups are natural generalizations of cyclic groups but with more complicated algorithmic properties. They are finitely presented and the word, conjugacy, and isomorphism decision problems are all solvable in these groups.…

Cryptography and Security · Computer Science 2016-10-25 Jonathan Gryak , Delaram Kahrobaei

One-way functions are fundamental to classical cryptography and their existence remains a longstanding problem in computational complexity theory. Recently, a provable quantum one-way function has been identified, which maintains its…

Quantum Physics · Physics 2024-08-27 Hua-Lei Yin

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…

Computational Complexity · Computer Science 2008-02-27 Alex D. Myasnikov

A new approach to discretization of the Duffing equation is presented. Integrable discrete maps are obtained by using well-studied encrypting operations in elliptic curve cryptography and, therefore, they do not depend upon standard small…

Exactly Solvable and Integrable Systems · Physics 2018-01-08 A. V. Tsiganov

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…

Cryptography and Security · Computer Science 2022-08-03 Isra Mohamed Ali , Maurantonio Caprolu , Roberto Di Pietro

This study is mainly about the discrete logarithm problem in the ElGamal cryptosystem over the abelian group U(n) where n is one of the following forms p^m, or 2p^m where p is an odd large prime and m is a positive integer. It is another…

Cryptography and Security · Computer Science 2014-05-06 Hayder Raheem Hashim

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…

Quantum Physics · Physics 2020-02-21 Si-Hui Tan , Joshua A. Kettlewell , Yingkai Ouyang , Lin Chen , Joseph F. Fitzsimons

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…

Programming Languages · Computer Science 2014-10-15 Adam Petcher , Greg Morrisett

In this paper we consider cryptographic applications of the arithmetic on the hyperoctahedral group. On an appropriate subgroup of the latter, we particularly propose to construct public key cryptosystems based on the discrete logarithm.…

Cryptography and Security · Computer Science 2017-06-16 Iharantsoa Vero Raharinirina

Whether stemming from malicious intent or natural occurrences, faults and errors can significantly undermine the reliability of any architecture. In response to this challenge, fault detection assumes a pivotal role in ensuring the secure…

Cryptography and Security · Computer Science 2024-02-29 Saeed Aghapour , Kasra Ahmadi , Mehran Mozaffari Kermani , Reza Azarderakhsh

One-way functions are widely used for encrypting the secret in public key cryptography, although they are regarded as plausibly one-way but have not been proven so. Here we discuss the public key cryptosystem based on the system of higher…

Information Theory · Computer Science 2011-03-22 Harry Yosh

This paper studies the quantum computational complexity of the discrete logarithm (DL) and related group-theoretic problems in the context of generic algorithms -- that is, algorithms that do not exploit any properties of the group…

Quantum Physics · Physics 2024-10-23 Minki Hhan , Takashi Yamakawa , Aaram Yun

Theoretical computer science has found fertile ground in many areas of mathematics. The approach has been to consider classical problems through the prism of computational complexity, where the number of basic computational steps taken to…

Cryptography and Security · Computer Science 2007-05-23 Shafi Goldwasser

Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such models with respect to computational ones, is to explicitly…

Cryptography and Security · Computer Science 2016-08-16 Véronique Cortier , Heinrich Hördegen , Bogdan Warinschi

Given positive integers $a_1,..., a_n, t$, the fixed weight subset sum problem is to find a subset of the $a_i$ that sum to $t$, where the subset has a prescribed number of elements. It is this problem that underlies the security of modern…

Combinatorics · Mathematics 2012-01-16 Andrew Shallue

The iterative conditional branchings appear in various sensitive algorithms, like the modular exponentiation in the RSA cryptosystem or the scalar multiplication in ellipticcurve cryptography. In this paper, we abstract away the desirable…

Cryptography and Security · Computer Science 2021-03-09 Yoann Marquer , Tania Richmond , Pascal Véron

Developing secure distributed systems is difficult, and even harder when advanced cryptography must be used to achieve security goals. Following prior work, we advocate using secure program partitioning to synthesize cryptographic…

Cryptography and Security · Computer Science 2024-01-10 Coşku Acay , Joshua Gancher , Rolph Recto , Andrew C. Myers

The development of large quantum computers will have dire consequences for cryptography. Most of the symmetric and asymmetric cryptographic algorithms are vulnerable to quantum algorithms. Grover's search algorithm gives a square root time…

Cryptography and Security · Computer Science 2022-02-08 Ritik Bavdekar , Eashan Jayant Chopde , Ashutosh Bhatia , Kamlesh Tiwari , Sandeep Joshua Daniel , Atul

In this paper we study extensively the discrete logarithm problem in the group of non-singular circulant matrices. The emphasis of this study was to find the exact parameters for the group of circulant matrices for a secure implementation.…

Cryptography and Security · Computer Science 2012-07-06 Ayan Mahalanobis

In this paper we generalize the quantum algorithm for computing short discrete logarithms previously introduced by Eker{\aa} so as to allow for various tradeoffs between the number of times that the algorithm need be executed on the one…

Cryptography and Security · Computer Science 2024-06-07 Martin Ekerå , Johan Håstad