Results 31 to 40 of about 6,037,997 (210)

EasyPQC: Verifying Post-Quantum Cryptography [PDF]

Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021
EasyCrypt is a formal verification tool used extensively for formalizing concrete security proofs of cryptographic constructions. However, the EasyCrypt formal logics consider only classical attackers, which means that post-quantum security proofs cannot be formalized and machine-checked with this tool.
Barbosa, Manuel, Barthe, Gilles, Fan, Xiong, Grégoire, Benjamin, Hung, Shih-Han, Katz, Jonathan, Strub, Pierre-Yves, Wu, Xiaodi, Zhou, Li   +8 more
openaire   +3 more sources

Quantum key distribution using quantum dot single-photon emitting diodes in the red and near infrared spectral range [PDF]

, 2012
We report on in-lab free space quantum key distribution (QKD) experiments over 40 cm distance using highly efficient electrically driven quantum dot single-photon sources emitting in the red as well as near-infrared spectral range.
Heindel, Tobias, Eichfelder, Marcus, Hargart, F., Michler, P., Eichfelder, M., Rossbach, R., Kessler, C., Rau, Markus, Weinfurter, Harald, Reitzenstein, S., Höfling, Sven, Schneider, C., Lermer, Matthias, Nauerth, Sebastian, Rossbach, Robert, Fuerst, M., Forchel, A., Forchel, Alfred, Reitzenstein, Stephan, Weinfurter, H., Kessler, Christian A., Schulz, W., Weier, Henning, Fuerst, Martin, Hoefling, S., Rau, M., Schulz, Wolfgang-Michael, Michler, Peter, Nauerth, S., Jetter, M., Schneider, Christian, Jetter, Michael, Lermer, M., Weier, H., Heindel, T., Hargart, Fabian, Kamp, Martin, Kamp, M.   +37 more
core   +1 more source

Selection of Post-Quantum Cryptography Algorithms for Standardization and Assessment of Their Security

Доклады Белорусского государственного университета информатики и радиоэлектроники
The process of selecting post-quantum cryptography algorithms for standardization based on parameters proposed by the National Institute of Standards and Technology (NIST) is described. The resistance of post-quantum cryptography algorithms to attacks by
S. Yu. Mikhnevich, P. I. Hladun
doaj   +1 more source

Post-Quantum Cryptography for Quantum Resilient Data Transfer [PDF]

Post-quantum cryptography is essential for ensuring quantum-resilient data transfer, as quantum computers have the potential to break widely used cryptographic algorithms, such as RSA and ECC, which secure most of today’s digital communications.
Vegas Olmos, J.J., Monroy, Idelfonso Tafur; id_orcid, Cano, Abraham, Imaña, José Luis, Vegas, Juan José, Tafur Monroy, Idelfonso, Imaña Pascual, José Luis   +6 more
core   +1 more source

HybridPKE: A forward-secure non-interactive quantum-safe hybrid key exchange scheme

Engineering Science and Technology, an International Journal, 2022
The schemes submitted to NIST call for standardization of post-quantum cryptography have some common drawbacks in terms of decryption failure probability, scalability, and switching issues from pre-quantum to post- quantum cryptography. In this paper, we
Simran Choudhary, Anil Gupta
doaj   +1 more source

Applications of Post-Quantum Cryptography

European Conference on Cyber Warfare and Security
With the constantly advancing capabilities of quantum computers, conventional cryptographic systems relying on complex math problems may encounter unforeseen vulnerabilities. Unlike regular computers, which are often deemed cost-ineffective in cryptographic attacks, quantum computers have a significant advantage in calculation speed.
Emils Bagirovs, Grigory Provodin, Tuomo Sipola, Jari Hautamäki   +3 more
openaire   +3 more sources

Design Exploration and Code Optimizations for FPGA-Based Post-Quantum Cryptography using High-Level Synthesis

, 2022
Design Exploration and Code Optimizations for FPGA-Based Post-Quantum Cryptography using High-Level Synthesis. In this paper we try to detect and address bottleneck and limitation of HLS while synthesizing general-purpose code for emerging applications ...
Andres Upegui (12279732), Gabriel Da Silva Marques (12279723), Francesco Regazzoni (12279730), Andrea Guerrieri (12210845)   +3 more
core   +2 more sources

An Energy-Efficient Hybrid Security Model for Large-Scale Cloud Systems: Integrating Blockchain, Quantum Cryptography, and Post-Quantum Algorithms

Shodh Sari
Cloud computing can be used to utilized to ensure data security and energy efficiency in large-scale environments. This paper, introduced in hybrid security model to integrate the block chain technology, Quantum Cryptography, and Post Quantum algorithms.
Neethu V. A, Dr. Arun Vaishnav, Dr. Mohammad Akram Khan   +2 more
doaj   +1 more source

Deploying hybrid quantum-secured infrastructure for applications: When quantum and post-quantum can work together

Frontiers in Quantum Science and Technology, 2023
Most currently used cryptographic tools for protecting data are based on certain computational assumptions, which makes them vulnerable with respect to technological and algorithmic developments, such as quantum computing.
Aleksey K. Fedorov, Aleksey K. Fedorov
doaj   +1 more source

Comprehensive survey of global research trends, challenges, and comparative advances in quantum cryptography and post-quantum cryptographic algorithms

Discover Artificial Intelligence
Quantum computing provides the pathway to dismantle the security provided by cryptography especially classical public-key systems due to the emergence of Shor’s algorithm.
Anubhav Saxena, Dinesh Kumar Saini, Satpal Singh Kushwaha   +2 more
doaj   +1 more source