138 citations · 283 across the 18 of their papers we have counts for
10 papers · 1 filter
Quantum Cryptography and Autoformalization in Lean
Maor Ben Shahar, Jonathan Morag, Dirk Englund +1
Quantum key distribution provides secure communication by relying on physics principles and mathematical reasoning. Security proofs across the field can contain gaps, often between…
A Machine-Verified Proof of a Quantum-Optimization Conjecture
Uri Kol, Maor Ben-Shahar, Kfir Sulimany +1
We report a machine-verified resolution of a problem open for over a decade in quantum optimization: the Farhi, Goldstone and Gutmann (FGG) conjecture that depth- Quantum Approx…
Reduced State Embedding for Error Correction in Quantum Cryptography
Amit Kam, Kfir Sulimany, Shai Tsesses +1
Encoding in a high-dimensional Hilbert space improves noise resilience in quantum information processing. This approach, however, may result in cross-mode coupling and detection co…
Quantum-secure multiparty deep learning
Kfir Sulimany, Sri Krishna Vadlamani, Ryan Hamerly +2
Secure multiparty computation enables the joint evaluation of multivariate functions across distributed users while ensuring the privacy of their local inputs. This field has becom…
Decoy state and purification protocols for superior quantum key distribution with imperfect quantum-dot based single photon sources: Theory and Experiment
Yuval Bloom, Yoad Ordan, Tamar Levin +4
The original proposal of quantum key distribution (QKD) was based on ideal single photon sources, which 40 years later, are still challenging to develop. Therefore, the development…
High-dimensional quantum key distribution using orbital angular momentum of single photons from a colloidal quantum dot at room temperature
Dotan Halevi, Boaz Lubotzky, Kfir Sulimany +4
High-dimensional quantum key distribution (HDQKD) is a promising avenue to address the inherent limitations of basic QKD protocols. However, experimental realizations of HDQKD to d…
High-dimensional quantum key distribution using a multi-plane light converter
Ohad Lib, Kfir Sulimany, Mateus Araújo +2
High-dimensional quantum key distribution (QKD) offers higher information capacity and stronger resilience to noise compared to its binary counterpart. However, these advantages ar…
Processing entangled photons in high dimensions with a programmable light converter
Ohad Lib, Kfir Sulimany, Yaron Bromberg
High-dimensional entanglement offers a variety of advantages for both fundamental and applied applications in quantum information science. A central building block for such applica…
High-dimensional coherent one-way quantum key distribution
Kfir Sulimany, Guy Pelc, Rom Dudkiewicz +4
High-dimensional quantum key distribution (QKD) offers secure communication, with secure key rates that surpass those achievable by QKD protocols utilizing two-dimensional encoding…
All-Fiber Source and Sorter for Multimode Correlated Photons
Kfir Sulimany, Yaron Bromberg
Photons occupying multiple spatial modes hold a great promise for implementing high-dimensional quantum communication. We use spontaneous four-wave mixing to generate multimode pho…