Michele Mosca

According to our database, Michele Mosca authored at least 61 papers between 1998 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Quantum resource estimation for large scale quantum algorithms.

Vlad Gheorghiu, Michele Mosca

Future Gener. Comput. Syst., 2025

2024

Improving the Fidelity of CNOT Circuits on NISQ Hardware.

Dohun Kim, Minyoung Kim, Sarah Meng Li, Michele Mosca

CoRR, 2024

2023

Reducing the CNOT Count for Clifford+T Circuits on NISQ Architectures.

Vlad Gheorghiu, Jiaxin Huang, Sarah Meng Li, Michele Mosca, Priyanka Mukhopadhyay

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 2023

Graphical CSS Code Transformation Using ZX Calculus.

Jiaxin Huang, Sarah Meng Li, Lia Yeh, Aleks Kissinger, Michele Mosca, Michael Vasmer

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

2021

Quantum Cryptanalysis (Dagstuhl Seminar 21421).

Stacey Jeffery, Michele Mosca, María Naya-Plasencia, Rainer Steinwandt

Dagstuhl Reports, 2021

PQFabric: A Permissioned Blockchain Secure from Both Classical and Quantum Attacks.

Amelia Holcomb, Geovandro C. C. F. Pereira, Bhargav Das, Michele Mosca

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

2019

T-Count Optimization and Reed-Muller Codes.

Matthew Amy, Michele Mosca

IEEE Trans. Inf. Theory, 2019

Quantum Cryptanalysis (Dagstuhl Seminar 19421).

Michele Mosca, María Naya-Plasencia, Rainer Steinwandt

Dagstuhl Reports, 2019

On speeding up factoring with quantum SAT solvers.

Michele Mosca, João Marcos Vensi Basso, Sebastian R. Verschoor

CoRR, 2019

Factoring semi-primes with (quantum) SAT-solvers.

Michele Mosca, Sebastian R. Verschoor

CoRR, 2019

2018

Cybersecurity in an Era with Quantum Computers: Will We Be Ready?

Michele Mosca

IEEE Secur. Priv., 2018

Postquantum Cryptography, Part 2.

Johannes Buchmann, Kristin E. Lauter, Michele Mosca

IEEE Secur. Priv., 2018

Quantum Programming Languages (Dagstuhl Seminar 18381).

Michele Mosca, Martin Roetteler, Peter Selinger

Dagstuhl Reports, 2018

2017

The Day the Cryptography Dies.

John Mulholland, Michele Mosca, Johannes Braun

IEEE Secur. Priv., 2017

Postquantum Cryptography - State of the Art.

Johannes Buchmann, Kristin E. Lauter, Michele Mosca

IEEE Secur. Priv., 2017

A low-resource quantum factoring algorithm.

Daniel J. Bernstein, Jean-François Biasse, Michele Mosca

IACR Cryptol. ePrint Arch., 2017

Quantum Cryptanalysis (Dagstuhl Seminar 17401).

Michele Mosca, Nicolas Sendrier, Rainer Steinwandt, Krysta M. Svore

Dagstuhl Reports, 2017

The Engineering of a Scalable Multi-Site Communications System Utilizing Quantum Key Distribution (QKD).

Piotr K. Tysowski, Xinhua Ling, Norbert Lütkenhaus, Michele Mosca

CoRR, 2017

Improved reversible and quantum circuits for Karatsuba-based integer multiplication.

Alex Parent, Martin Roetteler, Michele Mosca

Proceedings of the 12th Conference on the Theory of Quantum Computation, 2017

2016

Abelian Hidden Subgroup Problem.

Michele Mosca

Encyclopedia of Algorithms, 2016

Practical Approximation of Single-Qubit Unitaries by Single-Qubit Quantum Clifford and T Circuits.

Vadym Kliuchnikov, Dmitri Maslov, Michele Mosca

IEEE Trans. Computers, 2016

Post-Quantum Key Exchange for the Internet and the Open Quantum Safe Project.

Douglas Stebila, Michele Mosca

IACR Cryptol. ePrint Arch., 2016

Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3.

Matthew Amy, Olivia Di Matteo, Vlad Gheorghiu, Michele Mosca, Alex Parent, John M. Schanck

IACR Cryptol. ePrint Arch., 2016

2015

Finding shortest lattice vectors faster using quantum search.

Thijs Laarhoven, Michele Mosca, Joop van de Pol

Des. Codes Cryptogr., 2015

Quantum Cryptanalysis (Dagstuhl Seminar 15371).

Michele Mosca, Martin Roetteler, Nicolas Sendrier, Rainer Steinwandt

Dagstuhl Reports, 2015

On the Robustness of Bucket Brigade Quantum RAM.

Srinivasan Arunachalam, Vlad Gheorghiu, Tomas Jochym-O'Connor, Michele Mosca, Priyaa Varshinee Srinivasan

Proceedings of the 10th Conference on the Theory of Quantum Computation, 2015

2014

Public-key cryptography based on bounded quantum reference frames.

Lawrence M. Ioannou, Michele Mosca

Theor. Comput. Sci., 2014

Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning.

Matthew Amy, Dmitri Maslov, Michele Mosca

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

An algorithm for the T-count.

David Gosset, Vadym Kliuchnikov, Michele Mosca, Vincent Russo

Quantum Inf. Comput., 2014

2013

A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits.

Matthew Amy, Dmitri Maslov, Michele Mosca, Martin Roetteler

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

Fast and efficient exact synthesis of single-qubit unitaries generated by clifford and T gates.

Vadym Kliuchnikov, Dmitri Maslov, Michele Mosca

Quantum Inf. Comput., 2013

Quantum Cryptanalysis (Dagstuhl Seminar 13371).

Serge Fehr, Michele Mosca, Martin Rötteler, Rainer Steinwandt

Dagstuhl Reports, 2013

Solving the Shortest Vector Problem in Lattices Faster Using Quantum Search.

Thijs Laarhoven, Michele Mosca, Joop van de Pol

Proceedings of the Post-Quantum Cryptography - 5th International Workshop, 2013

2012

Algorithms for Quantum Computers.

Jamie Smith, Michele Mosca

Proceedings of the Handbook of Natural Computing, 2012

Quantum Key Distribution in the Classical Authenticated Key Exchange Framework.

Michele Mosca, Douglas Stebila, Berkant Ustaoglu

IACR Cryptol. ePrint Arch., 2012

Asymptotically optimal approximation of single qubit unitaries by Clifford and T circuits using a constant number of ancillary qubits

Vadym Kliuchnikov, Dmitri Maslov, Michele Mosca

CoRR, 2012

Quantum Computing, Cryptography and Compilers.

Michele Mosca

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

2011

Quantum Cryptanalysis (Dagstuhl Seminar 11381).

Serge Fehr, Michele Mosca, Martin Rötteler, Rainer Steinwandt

Dagstuhl Reports, 2011

Unconditionally-Secure and Reusable Public-Key Authentication.

Lawrence M. Ioannou, Michele Mosca

Proceedings of the Theory of Quantum Computation, Communication, and Cryptography, 2011

A New Spin on Quantum Cryptography: Avoiding Trapdoors and Embracing Public Keys.

Lawrence M. Ioannou, Michele Mosca

Proceedings of the Post-Quantum Cryptography - 4th International Workshop, 2011

2010

Universal quantum computation in a hidden basis.

Lawrence M. Ioannou, Michele Mosca

Quantum Inf. Comput., 2010

Generalized Self-testing and the Security of the 6-State Protocol.

Matthew McKague, Michele Mosca

Proceedings of the Theory of Quantum Computation, Communication, and Cryptography, 2010

2009

Quantum Algorithms.

Michele Mosca

Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

The Case for Quantum Key Distribution.

Douglas Stebila, Michele Mosca, Norbert Lütkenhaus

IACR Cryptol. ePrint Arch., 2009

Efficient discrete-time simulations of continuous-time quantum query algorithms.

Richard Cleve, Daniel Gottesman, Michele Mosca, Rolando D. Somma, David L. Yonge-Mallo

Proceedings of the 41st Annual ACM Symposium on Theory of Computing, 2009

2008

Abelian Hidden Subgroup Problem.

Michele Mosca

Proceedings of the Encyclopedia of Algorithms - 2008 Edition, 2008

Quantum Circuit Placement.

Dmitri Maslov, Sean M. Falconer, Michele Mosca

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

2007

Self-Testing of Universal and Fault-Tolerant Sets of Quantum Gates.

Wim van Dam, Frédéric Magniez, Michele Mosca, Miklos Santha

SIAM J. Comput., 2007

Quantum Circuit Placement: Optimizing Qubit-to-qubit Interactions through Mapping Quantum Circuits into a Physical Experiment.

Dmitri Maslov, Sean M. Falconer, Michele Mosca

Proceedings of the 44th Design Automation Conference, 2007

2006

Self-testing of Quantum Circuits.

Frédéric Magniez, Dominic Mayers, Michele Mosca, Harold Ollivier

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

An Introduction to Quantum Computing.

Phillip Kaye, Raymond Laflamme, Michele Mosca

Oxford University Press, ISBN: 978-0-19-857000-4, 2006

2003

Quantum Search on Bounded-Error Inputs.

Peter Høyer, Michele Mosca, Ronald de Wolf

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2002

Introduction.

Michele Mosca, Alain Tapp

Algorithmica, 2002

2001

Counting by quantum eigenvalue estimation.

Michele Mosca

Theor. Comput. Sci., 2001

Decomposing finite Abelian groups.

Kevin K. H. Cheung, Michele Mosca

Quantum Inf. Comput., 2001

Quantum lower bounds by polynomials.

Robert Beals, Harry Buhrman, Richard Cleve, Michele Mosca, Ronald de Wolf

J. ACM, 2001

How Powerful is Adiabatic Quantum Computation?.

Wim van Dam, Michele Mosca, Umesh V. Vazirani

Proceedings of the 42nd Annual Symposium on Foundations of Computer Science, 2001

2000

Private Quantum Channels.

Andris Ambainis, Michele Mosca, Alain Tapp, Ronald de Wolf

Proceedings of the 41st Annual Symposium on Foundations of Computer Science, 2000

1998

Removing Edges Can Increase the Average Number of Colours in the Colourings of a Graph.

Michele Mosca

Comb. Probab. Comput., 1998

On quantum algorithms.

Richard Cleve, Artur Ekert, Leah Henderson, Chiara Macchiavello, Michele Mosca

Complex., 1998

The Hidden Subgroup Problem and Eigenvalue Estimation on a Quantum Computer.

Michele Mosca, Artur Ekert

Proceedings of the Quantum Computing and Quantum Communications, 1998