Publications

(2026). The Cost of Fluidity: Communication Complexity Trade-Offs in Fluid MPC. Applied Cryptography and Network Security - 24th International Conference, ACNS 2026, Stony Brook, NY, USA, June 22-25, 2026, Proceedings, Part I.
(2025). Guarding the Signal: Secure Messaging with Reverse Firewalls. Advances in Cryptology - CRYPTO 2025 - 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VIII.
(2024). Signature-Based Witness Encryption with Compact Ciphertext. Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part I.
(2024). Key Exchange in the Post-snowden Era: Universally Composable Subversion-Resilient PAKE. Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part V.
(2023). Revisiting Transaction Ledger Robustness in the Miner Extractable Value Era. Applied Cryptography and Network Security - 21st International Conference, ACNS 2023, Kyoto, Japan, June 19-22, 2023, Proceedings, Part II.
(2023). McFly: Verifiable Encryption to the Future Made Practical. Financial Cryptography and Data Security - 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I.
(2023). Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023.
(2022). Universally Composable Subversion-Resilient Cryptography. Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 - June 3, 2022, Proceedings, Part I.
(2022). GearBox: Optimal-size Shard Committees by Leveraging the Safety-Liveness Dichotomy. Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022.
(2021). YOSO: You Only Speak Once - Secure MPC with Stateless Ephemeral Roles. Advances in Cryptology - CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16-20, 2021, Proceedings, Part II.
(2021). Weight-Based Nakamoto-Style Blockchains. Progress in Cryptology - LATINCRYPT 2021 - 7th International Conference on Cryptology and Information Security in Latin America, Bogotá.
(2021). Reparo: Publicly Verifiable Layer to Repair Blockchains. Financial Cryptography and Data Security - 25th International Conference, FC 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers, Part II.
(2021). Refresh When You Wake Up: Proactive Threshold Wallets with Offline Devices. 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021.
(2021). Random-Index PIR and Applications. Theory of Cryptography - 19th International Conference, TCC 2021, Raleigh, NC, USA, November 8-11, 2021, Proceedings, Part III.
(2021). Broadcast-Optimal Two Round MPC with an Honest Majority. Advances in Cryptology - CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16-20, 2021, Proceedings, Part II.
(2020). Minting Mechanism for Proof of Stake Blockchains. Applied Cryptography and Network Security - 18th International Conference, ACNS 2020, Rome, Italy, October 19-22, 2020, Proceedings, Part I.
(2020). Cryptographic Reverse Firewalls for Interactive Proof Systems. 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, Saarbrücken, Germany (Virtual Conference), July 8-11, 2020.
(2020). Afgjort: A Partially Synchronous Finality Layer for Blockchains. Security and Cryptography for Networks - 12th International Conference, SCN 2020, Amalfi, Italy, September 14-16, 2020, Proceedings.
(2019). Redactable Blockchain in the Permissionless Setting. 2019 IEEE Symposium on Security and Privacy, SP 2019, San Francisco, CA, USA, May 19-23, 2019.
(2019). Public Immunization Against Complete Subversion Without Random Oracles. Applied Cryptography and Network Security - 17th International Conference, ACNS 2019, Bogota, Colombia, June 5-7, 2019, Proceedings.
(2018). Secure Outsourcing of Cryptographic Circuits Manufacturing. Provable Security - 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings.
(2018). A Family of FDH Signature Schemes Based on the Quadratic Residuosity Assumption. Progress in Cryptology - INDOCRYPT 2018 - 19th International Conference on Cryptology in India, New Delhi, India, December 9-12, 2018, Proceedings.
(2017). Redactable Blockchain - or - Rewriting History in Bitcoin and Friends. 2017 IEEE European Symposium on Security and Privacy, EuroS&P 2017, Paris, France, April 26-28, 2017.
(2015). Subversion-Resilient Signature Schemes. Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015.
(2014). Certified Bitcoins. Applied Cryptography and Network Security - 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014. Proceedings.