Stacey Jeffery

Orcid: 0000-0003-0046-5089

According to our database1, Stacey Jeffery authored at least 40 papers between 2009 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Multidimensional Quantum Walks, Recursion, and Quantum Divide & Conquer.
CoRR, 2024

2023
Quantum Algorithm for Path-Edge Sampling.
Proceedings of the 18th Conference on the Theory of Quantum Computation, 2023

Multidimensional Quantum Walks.
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023

(No) Quantum Space-Time Tradeoff for USTCON.
Proceedings of the 31st Annual European Symposium on Algorithms, 2023

2022
Span Programs and Quantum Space Complexity.
Theory Comput., 2022

Quantum Subroutine Composition.
CoRR, 2022

Multidimensional Quantum Walks, with Application to k-Distinctness.
CoRR, 2022

2021
Quantum Cryptanalysis (Dagstuhl Seminar 21421).
Dagstuhl Reports, 2021

A Guide for New Program Committee Members at Theoretical Computer Science Conferences.
CoRR, 2021

Secure Software Leasing Without Assumptions.
Proceedings of the Theory of Cryptography - 19th International Conference, 2021

A Unified Framework of Quantum Walk Search.
Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 2021

2020
On Quantum Chosen-Ciphertext Attacks and Learning with Errors.
Cryptogr., 2020

Quadratic speedup for finding marked vertices by quantum walks.
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, 2020

Span Programs and Quantum Time Complexity.
Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

2019
Secure Multi-party Quantum Computation with a Dishonest Majority.
IACR Cryptol. ePrint Arch., 2019

Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources.
IACR Cryptol. ePrint Arch., 2019

Approximate Span Programs.
Algorithmica, 2019

The Power of Block-Encoded Matrix Powers: Improved Regression Techniques via Faster Hamiltonian Simulation.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

2018
How Classical Beings Can Test Quantum Devices.
ERCIM News, 2018

On non-adaptive quantum chosen-ciphertext attacks and Learning with Errors.
CoRR, 2018

Quantum Algorithms for Connectivity and Related Problems.
Proceedings of the 26th Annual European Symposium on Algorithms, 2018

2017
Attacks on the AJPS Mersenne-based cryptosystem.
IACR Cryptol. ePrint Arch., 2017

Quantum Algorithms for Graph Connectivity and Formula Evaluation.
CoRR, 2017

Optimal Parallel Quantum Query Algorithms.
Algorithmica, 2017

2016
Quantum Algorithm for Finding Triangles.
Encyclopedia of Algorithms, 2016

Improving Quantum Query Complexity of Boolean Matrix Multiplication Using Graph Collision.
Algorithmica, 2016

Quantum Communication Complexity of Distributed Set Joins.
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

2015
Quantum homomorphic encryption for circuits of low T-gate complexity.
IACR Cryptol. ePrint Arch., 2015

NAND-Trees, Average Choice Complexity, and Effective Resistance.
CoRR, 2015

2014
Frameworks for Quantum Algorithms.
PhD thesis, 2014

Circuit Obfuscation Using Braids.
Proceedings of the 9th Conference on the Theory of Quantum Computation, 2014

2013
Quantum algorithms for the subset-sum problem.
IACR Cryptol. ePrint Arch., 2013

A Time-Efficient Quantum Walk for 3-Distinctness Using Nested Updates
CoRR, 2013

Nested Quantum Walks with Quantum Data Structures.
Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, 2013

Time-Efficient Quantum Walks for 3-Distinctness.
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2012
Partial-indistinguishability obfuscation using braids
CoRR, 2012

Trading Robustness for Correctness and Privacy in Certain Multiparty Computations, beyond an Honest Majority.
Proceedings of the Information Theoretic Security - 6th International Conference, 2012

Improving Quantum Query Complexity of Boolean Matrix Multiplication Using Graph Collision.
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

2010
Exact, Efficient and Information-Theoretically Secure Voting with an Arbitrary Number of Cheaters.
IACR Cryptol. ePrint Arch., 2010

2009
HASS: a scheduler for heterogeneous multicore systems.
ACM SIGOPS Oper. Syst. Rev., 2009


  Loading...