Public-Key Encryption with Quantum Keys

About
Privacy
Disclaimer

Graph Chatbot

Related publications (32)

Orthologic with Axioms

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

When Your AI Becomes a Target: AI Security Incidents and Best Practices

Alexandre Massoud Alahi, Kathrin Grosse

In contrast to vast academic efforts to study AI security, few real-world reports of AI security incidents exist. Released incidents prevent a thorough investigation of the attackers' motives, as crucial information about the company and AI application is ...

AAAI Press2024

Dynamical simulation via quantum machine learning with provable generalization

Zoë Holmes

Much attention has been paid to dynamical simulation and quantum machine learning (QML) independently as applications for quantum advantage, while the possibility of using QML to enhance dynamical simulations has not been thoroughly investigated. Here we d ...

Amer Physical Soc2024

Transition to chaos in extended systems and their quantum impurity models

Camille Didier Georges Aron

Chaos sets a fundamental limit to quantum-information processing schemes. We study the onset of chaos in spatially extended quantum many-body systems that are relevant to quantum optical devices. We consider an extended version of the Tavis-Cummings model ...

Iop Publishing Ltd2024

Generation of entangled photon pairs from a silicon bichromatic photonic crystal cavity

Matteo Galli, Thanavorn Poempool, Marco Clementi

Integrated quantum photonics leverages the on-chip generation of nonclassical states of light to realize key functionalities of quantum devices. Typically, the generation of such nonclassical states relies on whispering gallery mode resonators, such as int ...

Aip Publishing2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

Exploring SIDH-Based Signature Parameters

Laurane Chloé Angélina Marco, Andrea Basso, Tako Boris Fouotsa

Isogeny-based cryptography is an instance of post-quantum cryptography whose fundamental problem consists of finding an isogeny between two (isogenous) elliptic curves E and E′. This problem is closely related to that of computing the endomorphism ring of ...

Springer2024

COMMUNICATION LOWER BOUNDS AND OPTIMAL ALGORITHMS FOR MULTIPLE TENSOR-TIMES-MATRIX COMPUTATION

Laura Grigori

Multiple tensor-times-matrix (Multi-TTM) is a key computation in algorithms for computing and operating with the Tucker tensor decomposition, which is frequently used in multidimensional data analysis. We establish communication lower bounds that determine ...

Siam Publications2024

Strong coupling between a microwave photon and a singlet-triplet qubit

Jann Hinnerk Ungerer, Pasquale Scarlino

Combining superconducting resonators and quantum dots has triggered tremendous progress in quantum information, however, attempts at coupling a resonator to even charge parity spin qubits have resulted only in weak spin-photon coupling. Here, we integrate ...

Nature Portfolio2024

Room-temperature quantum optomechanics using an ultralow noise cavity

Tobias Kippenberg, Nils Johan Engelsen, Alberto Beccari, Guanhao Huang

At room temperature, mechanical motion driven by the quantum backaction of light has been observed only in pioneering experiments in which an optical restoring force controls the oscillator stiffness1,2. For solid-state mechanical resonators in which oscil ...

Nature Portfolio2024

Mechanically induced correlated errors on superconducting qubits with relaxation times exceeding 0.4 ms

Tobias Kippenberg, Amir Youssefi, Xuxin Wang, Mahdi Chegnizadeh, Shingo Kono, Marco Scigliuzzo

Superconducting qubits are among the most advanced candidates for achieving fault-tolerant quantum computing. Despite recent significant advancements in the qubit lifetimes, the origin of the loss mechanism for state-of-the-art qubits is still subject to i ...

Nature Portfolio2024

Isogeny Problems with Level Structure

Tako Boris Fouotsa

Given two elliptic curves and the degree of an isogeny between them, finding the isogeny is believed to be a difficult problem—upon which rests the security of nearly any isogeny-based scheme. If, however, to the data above we add information about the beh ...

2024

Page 2 of 2