English
Related papers

Related papers: Invariant-Based Cryptography

200 papers

A major challenge in the study of cryptography is characterizing the necessary and sufficient assumptions required to carry out a given cryptographic task. The focus of this work is the necessity of a broadcast channel for securely…

Cryptography and Security · Computer Science 2021-05-05 Ran Cohen , Iftach Haitner , Eran Omri , Lior Rotem

We demonstrate theoretically and experimentally that secure communication using intermediate-energy (mesoscopic) coherent states is possible. Our scheme is different from previous quantum cryptographic schemes in that a short secret key is…

Quantum Physics · Physics 2009-11-07 Geraldo A. Barbosa , Eric Corndorf , Prem Kumar , Horace P. Yuen

We develop a theory of decidable inductive invariants for an infinite-state variant of the Applied pi-calculus, with applications to automatic verification of stateful cryptographic protocols with unbounded sessions/nonces. Since the…

Logic in Computer Science · Computer Science 2022-09-22 Emanuele D'Osualdo , Felix Stutz

We propose a novel approach to improving software security called Cryptographic Path Hardening, which is aimed at hiding security vulnerabilities in software from attackers through the use of provably secure and obfuscated cryptographic…

Software Engineering · Computer Science 2012-02-03 Vijay Ganesh , Michael Carbin , Martin Rinard

In this paper, a renewable, multi-use, multi-secret sharing scheme for general access structure based on one-way collision resistant hash function is presented in which each participant has to carry only one share. By applying…

Cryptography and Security · Computer Science 2019-07-09 Angsuman Das , Avishek Adhikari

A new framework for information hiding security, called topological-security, has been proposed in a previous study. It is based on the evaluation of unpredictability of the scheme, whereas existing notions of security, as stego-security,…

Cryptography and Security · Computer Science 2011-12-19 Christophe Guyeux , Nicolas Friot , Jacques M. Bahi

We present a rank metric code-based encryption scheme with key and ciphertext sizes comparable to that of isogeny-based cryptography for an equivalent security level. The system also benefits from efficient encryption and decryption…

Cryptography and Security · Computer Science 2019-12-02 Julien Lavauzelle , Pierre Loidreau , Ba-Duc Pham

Homomorphic encryption has been an area of study in classical computing for decades. The fundamental goal of homomorphic encryption is to enable (untrusted) Oscar to perform a computation for Alice without Oscar knowing the input to the…

Quantum Physics · Physics 2020-09-02 Daniel O'Malley , John K. Golden

A novel private communication framework is proposed where privacy is induced by transmitting over a channel instances of linear inverse problems that are identifiable to the legitimate receiver but unidentifiable to an eavesdropper. The gap…

Information Theory · Computer Science 2024-07-24 Maxime Ferreira Da Costa , Jianxiu Li , Urbashi Mitra

This paper puts forward a safe mechanism of data transmission to tackle the security problem of information which is transmitted in Internet. The encryption standards such as DES (Data Encryption Standard), AES (Advanced Encryption…

Cryptography and Security · Computer Science 2011-10-11 Shaik Rasool , G. Sridhar , K. Hemanth Kumar , P. Ravi Kumar

This paper introduces a completely new approach to encryption based on group theoretic quantum framework. Quantum cryptography has essentially focused only on key distribution and proceeded with classical encryption algorithm with the…

Discrete Mathematics · Computer Science 2007-05-23 N. Srinivasan , C. Sanjeevakumar , L. Sudarsan , M. Kasi Rajan , R. Venkatesh

Digital signatures are fundamental cryptographic primitives that ensure the authenticity and integrity of digital documents. In the post-quantum era, classical public key-based signature schemes become vulnerable to brute-force and…

Cryptography and Security · Computer Science 2025-07-29 Satish Kumar , Md. Arzoo Jamal

Invariants withstand transformations and, therefore, represent the essence of objects or phenomena. In mathematics, transformations often constitute a group action. Since the 19th century, studying the structure of various types of…

Symbolic Computation · Computer Science 2024-12-19 Irina A. Kogan

We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata. Components communicate by executing atomic interactions whose participants…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-09-08 Marius Bozga , Javier Esparza , Radu Iosif , Joseph Sifakis , Christoph Welzel

We define an isomorphism between the group of points of a conic and the set of integers modulo a prime equipped with a non-standard product. This product can be efficiently evaluated through the use of R\'edei rational functions. We then…

Information Theory · Computer Science 2016-01-28 Emanuele Bellini , Nadir Murru

Cryptography is the study of techniques for ensuring the secrecy and authentication of the information. Public-key encryption schemes are secure only if the authenticity of the public-key is assured. Elliptic curve arithmetic can be used to…

Cryptography and Security · Computer Science 2012-02-10 D. Sravana Kumar , CH. Suneetha , A. Chandrasekhar

Data compression combined with effective encryption is a common requirement of data storage and transmission. Low cost of these operations is often a high priority in order to increase transmission speed and reduce power usage. This…

Information Theory · Computer Science 2023-03-24 Jarek Duda , Marcin Niemiec

In this paper, we introduce a hybrid chaos map for image encryption method with high sensitivity. This new map is sensitive to small changes in the starting point and also in control parameters which result in having more computational…

Cryptography and Security · Computer Science 2021-11-01 Roghayeh Hosseinzadeh , Yavar Khedmati , Reza Parvaz

In this work, we study position-based cryptography in the quantum setting. The aim is to use the geographical position of a party as its only credential. On the negative side, we show that if adversaries are allowed to share an arbitrarily…

An elementary derivation of best eavesdropping strategies for the 4 state BB84 quantum cryptography protocol is presented, for both incoherent and two--qubit coherent attacks. While coherent attacks do not help Eve to obtain more…

Quantum Physics · Physics 2009-10-30 J. I. Cirac , N. Gisin