English
Related papers

Related papers: A SAT-based Public Key Cryptography Scheme

200 papers

Homomorphic encryption is an encryption method that enables computing over encrypted data. This has a wide range of real world ramifications such as being able to blindly compute a search result sent to a remote server without revealing its…

Cryptography and Security · Computer Science 2016-06-13 Sudharaka Palamakumbura , Hamid Usefi

Homomorphic encryption is a powerful cryptographic tool that enables secure computations on the private data. It evaluates any function for any operation securely on the encrypted data without knowing its corresponding plaintext. For…

Cryptography and Security · Computer Science 2025-09-18 Giovanni Giuseppe Grimaldi

Recent advancements in machine learning have accelerated its widespread adoption across various real-world applications. However, in safety-critical domains, the deployment of machine learning models is riddled with challenges due to their…

Artificial Intelligence · Computer Science 2024-08-05 Ignacy Stępka , Nicholas Gisolfi , Artur Dubrawski

Despite increasing advancements in today's information exchange infrastructure, the preservation of user data and privacy still remains a problem. Both insecure baselines and secure solutions leak user data. For example, Certificate…

Cryptography and Security · Computer Science 2019-05-24 Vy-An Phan

Recent advances in cryptography promise to enable secure statistical computation on encrypted data, whereby a limited set of operations can be carried out without the need to first decrypt. We review these homomorphic encryption schemes in…

Machine Learning · Statistics 2015-08-27 Louis J. M. Aslett , Pedro M. Esperança , Chris C. Holmes

In the classical setting, public-key encryption requires randomness in order to be secure against a forward search attack, whereby an adversary compares the encryption of a guess of the secret message with that of the actual secret message.…

Quantum Physics · Physics 2009-05-05 Georgios M. Nikolopoulos , Lawrence M. Ioannou

Let $f=(f_0,f_1,\dots, f_{\nu-1})$ be a collection of one-to-one functions from some space~$X$ into itself such that the sets $f_j(X)$ are disjoint. If $w=w_1w_2\cdots w_k$ is a word on the alphabet $\{0,1,\dots,\nu-1\}$, let $\Phi_{f,w} =…

Cryptography and Security · Computer Science 2023-09-13 Jacques Peyriere , Fengxia Liu , Zhiyong Zheng , Zixian Gong

Recently, Aaronson et al. (arXiv:2009.07450) showed that detecting interference between two orthogonal states is as hard as swapping these states. While their original motivation was from quantum gravity, we show its applications in quantum…

Quantum Physics · Physics 2023-04-25 Minki Hhan , Tomoyuki Morimae , Takashi Yamakawa

Public key encryption with equality test (PKEET) supports to check whether two ciphertexts encrypted under different public keys contain the same message or not. PKEET has many interesting applications such as keyword search on encrypted…

Cryptography and Security · Computer Science 2020-05-13 Dung Hoang Duong , Kazuhide Fukushima , Shinsaku Kiyomoto , Partha Sarathi Roy , Arnaud Sipasseuth , Willy Susilo

Publicly verifiable delegation is a well-known problem involving a user who wishes to outsource a resource-intensive computational task to a more powerful but potentially untrusted server such that any other party is able to efficiently…

Cryptography and Security · Computer Science 2026-04-28 Ameer Mohammed , Aydin Abadi , Jaffer Mahdi

User authentication can rely on various factors (e.g., a password, a cryptographic key, biometric data) but should not reveal any secret or private information. This seemingly paradoxical feat can be achieved through zero-knowledge proofs.…

Cryptography and Security · Computer Science 2020-09-15 Laurent Chuat , Sarah Plocher , Adrian Perrig

The aim of the paper is to answer a long-standing open problem on the relationship between NP and BQP. The paper shows that BQP contains NP by proposing a BQP quantum algorithm for the MAX-E3-SAT problem which is a fundamental NP-hard…

Computational Complexity · Computer Science 2015-07-28 Ahmed Younes , Jonathan E. Rowe

Quantum public-key encryption [Gottesman; Kawachi et al., Eurocrypt'05] generalizes public-key encryption (PKE) by allowing the public keys to be quantum states. Prior work indicated that quantum PKE can be constructed from assumptions that…

Quantum Physics · Physics 2023-03-03 Khashayar Barooti , Giulio Malavolta , Michael Walter

A quantum cryptographic protocol based in public key cryptography combinations and private key cryptography is presented. Unlike the BB84 protocol [1] and its many variants [2,3] two quantum channels are used. The present research does not…

Quantum Physics · Physics 2012-05-15 Eduin H. Serna

Quantum key distribution relies on quantum mechanics to securely distribute cryptographic keys, offering security but necessitating complex infrastructure and significant resources for practical implementation. Quantum keyless private…

Quantum Physics · Physics 2026-03-02 Pedro Neto Mendes , Davide Rusca , Hugo Zbinden , Emmanuel Zambrini Cruzeiro

This article proposes a comprehensive approach to implementing encryption schemes based on the automorphism group of the Hermitian function field. We utilize a three-parameter group with logarithmic representations outside the group's…

Cryptography and Security · Computer Science 2025-04-16 Gennady Khalimov , Yevgen Kotukh

The amount of information in satisfiability problem (SAT) is considered. SAT can be polynomial-time solvable when the solving algorithm holds an exponential amount of information. It is also established that SAT Kolmogorov complexity is…

Computational Complexity · Computer Science 2024-07-26 Maciej Drozdowski

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…

Cryptography and Security · Computer Science 2007-05-23 Pina Bergamo , Paolo D'Arco , Alfredo De Santis , Ljupco Kocarev

We obfuscate words of a given length in a free monoid on two generators with a simple factorization algorithm (namely $SL_2(\mathbb{N})$) to create a public-key encryption scheme. We provide a reference implementation in Python and…

Cryptography and Security · Computer Science 2024-09-13 Robert Hines

Boolean satisfiability (SAT) has an extensive application domain in computer science, especially in electronic design automation applications. Circuit synthesis, optimization, and verification problems can be solved by transforming original…

Artificial Intelligence · Computer Science 2016-03-18 Te-Hsuan Chen , Ju-Yi Lu