Synthesizing Secure Protocols

P.M.T.B Sandirigama

Leonardo Bacciottini, Luciano Lenzini, Enzo Mingozzi +1 more

The Quantum Internet architecture and its associated functionality are far from being standardized. Furthermore, the protocol stack that implements the abovementioned functionality is still under development. In this work, we present a framework to DEsign and Synthesize Quantum netwoRk InteroperaBle protocols for Entanglement distribution (DeSQribe), a novel iteration of the Software-Defined Networking (SDN) paradigm. DeSQribe introduces a methodology to define and implement arbitrary entanglement distribution and distillation protocols. Distinct from adaptations of existing SDN solutions to quantum networks, DeSQribe tackles quantum-specific challenges, such as the dual nature of a data plane that accommodates classical messages and quantum states. DeSQribe defines a protocol as an ordered sequence of processing units that manipulate quantum states and exchange classical messages. This high modularity encourages software reusability. A centralized controller leverages DeSQribe and dynamically orchestrates protocols on network devices. Finally, DeSQribe's technology-agnostic nature assures seamless integration across diverse quantum technologies. We showcase how to implement and combine entanglement distribution protocols of very different natures (e.g., connectionless, connection-oriented) with DeSQribe, proving its flexibility and timeliness.

In-Ho Lee In-Ho Lee, Myungjin Cho

We propose a security-enhanced double-random phase encryption (DRPE) scheme using orthogonally encoded image and electronically synthesized key data to cope with the security problem of DRPE technique caused by fixed double-random phase masks for encryption.In the proposed scheme, we adopt the electronically synthesized key to frequently update the phase mask using a spatial light modulator, and also employ the orthogonal encoding technique to encode the image and electronically synthesized key data, which can enhance the security of both data.We provide detailed procedures for encryption and decryption of the proposed scheme, and provide the simulation results to show the encryption effects of the proposed scheme.

Yuval Ishai, Eyal Kushilevitz Z, Manoj Prabhakaran +2 more

Emmanuel Bresson, Olivier Chevassut, David Pointcheval

Authenticated key-exchange protocols allow two participants A and B , communicating over a public network and each holding an authentication means to exchange a shared secret value. Methods designed to deal with this cryptographic problem ensure A (resp. B ) that no other participants aside from B (resp. A ) can learn any information about the agreed value and often also ensure A and B that their respective partner has actually computed this value. A natural extension to this cryptographic method is to consider a pool of participants exchanging a shared secret value and to provide a formal treatment for it. Starting from the famous two-party Diffie--Hellman (DH) key-exchange protocol and from its authenticated variants, security experts have extended it to the multiparty setting for over a decade and, in the past few years, completed a formal analysis in the framework of modern cryptography. The present paper synthesizes this body of work on the provably-secure authenticated group DH key exchange.

Muthuramakrishnan Venkitasubramaniam