
Alex Bredariol Grilo
38
Documents
Présentation
Publications
Publications
|
Public-Key Encryption with Quantum KeysTheory of Cryptography - 21st International Conference, {TCC} 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part {IV}, Nov 2023, Taipei (Taiwan), Taiwan. pp.198-227, ⟨10.1007/978-3-031-48624-1_8⟩
Communication dans un congrès
hal-04514071
v1
|
|
Quantum security of subset cover problems4th Conference on Information-Theoretic Cryptography (ITC 2023), Jun 2023, Aahrus, Denmark. pp.9:1--9:17, ⟨10.4230/LIPIcs.ITC.2023.9⟩
Communication dans un congrès
hal-03832954
v1
|
|
Quantum learning algorithms imply circuit lower bounds2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS), Feb 2022, Denver, United States. pp.562-573, ⟨10.1109/FOCS52979.2021.00062⟩
Communication dans un congrès
hal-03836332
v1
|
|
Two combinatorial MA-complete problems12th Innovations in Theoretical Computer Science Conference (ITCS 2021), Jan 2021, Online, France. pp.36:1--36:20, ⟨10.4230/LIPIcs.ITCS.2021.36⟩
Communication dans un congrès
hal-03130966
v1
|
|
Oblivious Transfer is in MiniQCryptAdvances in Cryptology - EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Oct 2021, Zagreb, Croatia. pp.531-561, ⟨10.1007/978-3-030-77886-6_18⟩
Communication dans un congrès
hal-03033900
v1
|
|
Tight adaptive reprogramming in the QROMAdvances in Cryptology - ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Singapore, Singapore. pp.637-667, ⟨10.1007/978-3-030-92062-3_22⟩
Communication dans un congrès
hal-02997744
v1
|
|
Non-interactive classical verification of quantum computationTheory of Cryptography - 18th International Conference, TCC 2020, Nov 2020, Durham, United States. pp.153--180, ⟨10.1007/978-3-030-64381-2_6⟩
Communication dans un congrès
hal-03043284
v1
|
|
QMA-Hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-KnowledgeIEEE 61st Annual Symposium on Foundations of Computer Science (FOCS), Nov 2020, Virtual, United States. ⟨10.1109/FOCS46700.2020.00027⟩
Communication dans un congrès
hal-03123358
v1
|
|
Secure Multi-party Quantum Computation with a Dishonest MajorityAdvances in Cryptology - EUROCRYPT 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2020, Zagreb, Croatia. pp.729-758, ⟨10.1007/978-3-030-45727-3_25⟩
Communication dans un congrès
hal-02968389
v1
|
|
A Simple Protocol for Verifiable Delegation of Quantum Computation in One Round46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, Jul 2019, Patras, Greece. pp.28:1--28:13, ⟨10.4230/LIPIcs.ICALP.2019.28⟩
Communication dans un congrès
hal-03033187
v1
|
|
Verifier-on-a-Leash: New Schemes for Verifiable Delegated Quantum Computation, with Quasilinear ResourcesAdvances in Cryptology - EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2019, Darmstadt, Germany. pp.247-277, ⟨10.1007/978-3-030-17659-4_9⟩
Communication dans un congrès
hal-03033171
v1
|
|
Stoquastic PCP vs. Randomness2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), Nov 2019, Baltimore, United States. pp.1000-1023, ⟨10.1109/FOCS.2019.00065⟩
Communication dans un congrès
hal-03032845
v1
|
|
Perfect Zero Knowledge for Quantum Multiprover Interactive Proofs2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), Nov 2019, Baltimore, United States. pp.611-635, ⟨10.1109/FOCS.2019.00044⟩
Communication dans un congrès
hal-03032834
v1
|
|
Pointer Quantum PCPs and Multi-Prover Games41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, Aug 2016, Kraków, Poland. pp.21:1--21:14, ⟨10.4230/LIPIcs.MFCS.2016.21⟩
Communication dans un congrès
hal-03043224
v1
|
|
QMA with Subset State WitnessesMathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Aug 2015, Milan, Italy. pp.163-174, ⟨10.1007/978-3-662-48054-0_14⟩
Communication dans un congrès
hal-03032854
v1
|
|
Quantum proofs, the local Hamiltonian problem and applicationsComputer Arithmetic. Université Sorbonne Paris Cité, 2018. English. ⟨NNT : 2018USPCC051⟩
Thèse
tel-02152364
v1
|
Chargement...
Chargement...