Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

International Conference on Advancements in Smart, Secure and Intelligent Computing (ASSIC)

Post-Quantum Migration for Secure Protocols: Building a Quantum-Safe Internet

Sachin Ware, Shalini Wankhade, Chudaman Devidasrao Sukte, Manohar K. Kodmelwar, Sonali Bhoite, Pravin Futane

Published Aug 1, 2026• 0 citations
Publisher
DOI
10.1109/assic70037.2026.11717285

Related papers

Quantum Internet of Contracts: Future Directions for Quantum-Safe Digital Agreements

Sahul Goyal, Gurbinder Singh Brar, Love Kumar

Digital contracts are formal agreements created, signed, stored, verified and executed through digital platforms. These contracts require long-term protection because they often contain legally, financially and organisationally sensitive information. However, classical cryptographic methods used in current digital contract systems may become vulnerable with advances in quantum computing. This paper focuses on Quantum Internet of Contracts (QIoCs) as a future direction for preparing digital contracts for the quantum era. It examines post-quantum cryptography, quantum communication, blockchain, smart contracts, digital identity, zero-knowledge proofs and risk-based migration strategies. The paper argues that QIoCs cannot rely on a single security method. Instead, they require a layered approach that combines quantum-resistant blockchain protocols, privacy-preserving data authentication, secure audit trails, legal governance and staged migration from classical systems to quantum-safe contract infrastructures. The paper highlights the need for legal acceptance, governance standards and real-world testing of proposed post-quantum models. Overall, the paper provides a review-based framework for building safer and more reliable digital contracts in a quantum-safe future.

International Journal of Novel Research and Development•May 1, 2026•0 citations

Protocols for the Quantum Internet

Peter P. Rohde

Cambridge University Press eBooks•Sep 9, 2021•0 citations

A Survey on Quantum-Safe Cryptographic Mechanisms: Building Blocks and Applications

Ricardo Parizotto, Preeti Yadav, Marcus Freire +4 more

The possible emergence of fault-tolerant quantum computers may enable widely used cryptographic algorithms to be broken. These algorithms for public key encryption and digital signatures could be exposed if an efficient algorithm is employed. This poses a threat to existing infrastructure, motivating the development of mechanisms that can withstand quantum-computer cybersecurity risks. However, the transition to new security mechanisms is still underway and faces many challenges, including identifying which applications are under threat and implementing agile, scalable migration processes. In this work, we survey the state of the art in quantum-safe cryptographic mechanisms, existing applications targeting migration, and open challenges. We examine the building blocks commonly used to integrate quantum-safe mechanisms into existing applications and categorize them by the security mechanisms they employ. Next, we systematically review existing migrations into quantum-safe schemes and categorize them by application domain, including Telecommunications, the Internet of Things, and Blockchains. Finally, we summarize the challenges that must be addressed to enable a successful migration to quantum-resistant mechanisms, as well as the motivations for pursuing this migration.

arXiv:2609.11991•Sep 9, 2026•0 citations

Quantum Internet: Realization and Security

Shakir Sajad

•Feb 27, 2020•0 citations

Post-quantum Key Exchange for the Internet and the Open Quantum Safe Project

Douglas Stebila, Michele Mosca

Lecture notes in computer science•Jan 1, 2017•230 citations

KEMEDHOC*: A formally verified quantum-safe key exchange protocol

Cuong Nguyen

The advent of quantum computing poses significant threats to classical public-key cryptographic systems such as RSA and Elliptic Curve Cryptography, necessitating quantum-safe migration paths for Internet of Things (IoT) communication. The Ephemeral Diffie-Hellman Over COSE (EDHOC) protocol provides lightweight authenticated key exchange for resource-constrained IoT devices but lacks quantum-safe security and formally verified implementations. This thesis introduces KEMEDHOC, a KEM-based, signature-free, post-quantum variant of EDHOC that achieves mutual authentication through optimized integration of Key Encapsulation Mechanisms (KEMs). Compared to the direct adaptation, KEMEDHOC reduces noticeably message size (by over \textbf{33\%}) and handshake time (by \textbf{15\%}), while maintaining comparable security levels. Formal verification, at design-level, using ProVerif confirms that KEMEDHOC preserve all core EDHOC security properties, including mutual authentication, confidentiality, and forward secrecy. Verified implementations (EDHOC* and KEMEDHOC*) developed in F* and Low* ensure functional correctness, memory safety, and timing constant-time behavior, down to verified C code through KaRaMel compiler. Overall, this thesis delivers the first end-to-end formally verified post-quantum variant of EDHOC, demonstrating that formal assurance and post-quantum security can be obtained efficiently in lightweight key exchange protocols.

•Oct 30, 2025•0 citations
Digital contracts are formal agreements created, signed, stored, verified and executed through digital platforms. These contracts require long-term protection because they often contain legally, financially and organisationally sensitive information. However, classical cryptographic methods used in current digital contract systems may become vulnerable with advances in quantum computing. This paper focuses on Quantum Internet of Contracts (QIoCs) as a future direction for preparing digital contracts for the quantum era. It examines post-quantum cryptography, quantum communication, blockchain, smart contracts, digital identity, zero-knowledge proofs and risk-based migration strategies. The paper argues that QIoCs cannot rely on a single security method. Instead, they require a layered approach that combines quantum-resistant blockchain protocols, privacy-preserving data authentication, secure audit trails, legal governance and staged migration from classical systems to quantum-safe contract infrastructures. The paper highlights the need for legal acceptance, governance standards and real-world testing of proposed post-quantum models. Overall, the paper provides a review-based framework for building safer and more reliable digital contracts in a quantum-safe future.
The possible emergence of fault-tolerant quantum computers may enable widely used cryptographic algorithms to be broken. These algorithms for public key encryption and digital signatures could be exposed if an efficient algorithm is employed. This poses a threat to existing infrastructure, motivating the development of mechanisms that can withstand quantum-computer cybersecurity risks. However, the transition to new security mechanisms is still underway and faces many challenges, including identifying which applications are under threat and implementing agile, scalable migration processes. In this work, we survey the state of the art in quantum-safe cryptographic mechanisms, existing applications targeting migration, and open challenges. We examine the building blocks commonly used to integrate quantum-safe mechanisms into existing applications and categorize them by the security mechanisms they employ. Next, we systematically review existing migrations into quantum-safe schemes and categorize them by application domain, including Telecommunications, the Internet of Things, and Blockchains. Finally, we summarize the challenges that must be addressed to enable a successful migration to quantum-resistant mechanisms, as well as the motivations for pursuing this migration.
The advent of quantum computing poses significant threats to classical public-key cryptographic systems such as RSA and Elliptic Curve Cryptography, necessitating quantum-safe migration paths for Internet of Things (IoT) communication. The Ephemeral Diffie-Hellman Over COSE (EDHOC) protocol provides lightweight authenticated key exchange for resource-constrained IoT devices but lacks quantum-safe security and formally verified implementations. This thesis introduces KEMEDHOC, a KEM-based, signature-free, post-quantum variant of EDHOC that achieves mutual authentication through optimized integration of Key Encapsulation Mechanisms (KEMs). Compared to the direct adaptation, KEMEDHOC reduces noticeably message size (by over \textbf{33\%}) and handshake time (by \textbf{15\%}), while maintaining comparable security levels. Formal verification, at design-level, using ProVerif confirms that KEMEDHOC preserve all core EDHOC security properties, including mutual authentication, confidentiality, and forward secrecy. Verified implementations (EDHOC* and KEMEDHOC*) developed in F* and Low* ensure functional correctness, memory safety, and timing constant-time behavior, down to verified C code through KaRaMel compiler. Overall, this thesis delivers the first end-to-end formally verified post-quantum variant of EDHOC, demonstrating that formal assurance and post-quantum security can be obtained efficiently in lightweight key exchange protocols.