10 citations · 10 across the 2 of their papers we have counts for
4 papers
Verifying BQP Computations on Noisy Devices with Minimal Overhead
Dominik Leichtle, Luka Music, Elham Kashefi +1
With the development of delegated quantum computation, clients will want to ensure confidentiality of their data and algorithms, and the integrity of their computations. While prot…
Securing Quantum Computations in the NISQ Era
Elham Kashefi, Dominik Leichtle, Luka Music +1
Recent experimental achievements motivate an ever-growing interest from companies starting to feel the limitations of classical computing. Yet, in light of ongoing privacy scandals…
Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses
Luka Music, Céline Chevalier, Elham Kashefi
It is of folkloric belief that the security of classical cryptographic protocols is automatically broken if the Adversary is allowed to perform superposition queries and the honest…
The Quantum Cut-and-Choose Technique and Quantum Two-Party Computation
Elham Kashefi, Luka Music, Petros Wallden
The application and analysis of the Cut-and-Choose technique in protocols secure against quantum adversaries is not a straightforward transposition of the classical case, among oth…