I am researching security and privacy, with a focus on applied cryptography and distributed systems. I enjoy solving socially meaningful problems by building practical systems that rely on sound theoretical foundations. Lately, I have been working on systems for differential privacy, applied to privacy-preserving machine learning. I am also involved in open-source projects such as OpenMined.
Columbia University. M.S. & Ph.D. in Computer Science (2019 – current). Advisor: Roxana Geambasu. New York, NY.
École Polytechnique. B.S. & M.S. in Engineering (Grande Ecole master program, 2016 – 2019). Palaiseau, FR.
Université Paris Nanterre. B.S. in Philosophy (2017 – 2018). Nanterre, FR.
Lycée Sainte-Geneviève. Prépa in Mathematics and Physics (2014 – 2016). Versailles, FR.
Columbia University. Graduate Research Assistant (2021 - current). New York, NY.
Microsoft Research. Research Intern (2022). Redmond, WA.
École Normale Supérieure. Research Intern (2020). Paris, FR.
The University of Sydney. Visiting Researcher (2019). Sydney, AU.
Muvee Technologies. Software Engineering Intern (2018). Singapore, SG.
French Armed Forces. Officer cadet (2016 – 2017). Tahiti, PF.
Here are my main projects:
- Privacy as a resource. At Columbia, I am designing orchestration systems and scheduling algorithms for differential privacy. We implemented PrivateKube (published at OSDI'21), a system to manage privacy budget as a resource (akin to CPU or RAM) on Kubernetes clusters.
Some past projects
See my publications below for more details.
Large-scale private systems. I collaborated with a team at Brookhaven National Laboratory that designs and evaluates large scale privacy-preserving machine learning systems running on top of the U.S. Department of Energy’s supercomputers. We improved support for distributed training in PyTorch’s differential privacy library, Opacus.
Function secret sharing for encrypted deep learning. I am maintaining an open-source library for OpenMined. Sycret is the first Python library for function secret sharing. It relies on an efficient parallelized Rust backend using cryptographic hardware acceleration. We plugged it into PySyft, one of the leading privacy-preserving machine learning frameworks, to build ARIANN: Low-Interaction Privacy-Preserving Deep Learning via Function Secret Sharing (published at PETS'22).
Distributed algorithms. I spent 5 months in 2019 at the Concurrent Systems Research Group of the University of Sydney, where I studied cross-chain protocols and the formal verification of distributed algorithms with Vincent Gramoli and Rob van Glabbeek. In 2020 we worked on a compositional approach to model-check consensus algorithms. Our research appeared at SPAA'20, PODC'22 and DISC'22.
Undergraduate research. Among other things, I worked on code-based proofs with EasyCrypt at Inria and designed a crypto-economic system that made it to the Blockchain Innovation Challenge.
Peer-reviewed conference proceedings
N. Bertrand, V. Gramoli, M. Lazić, I. Konnov, P. Tholoniat, J. Widder, Holistic Verification of Blockchain Consensus, in 36th International Symposium on Distributed Computing (DISC 22), 2022, doi: 10.4230/LIPIcs.DISC.2022.10. A short version also appeared at PODC'22 (doi: 10.1145/3519270.3538468).
T. Ryffel, P. Tholoniat, D. Pointcheval, and F. Bach, AriaNN: Low-interaction privacy-preserving deep learning via function secret sharing, in Proceedings on Privacy Enhancing Technologies (PETS 22), 2022, doi: 10.2478/popets-2022-0015.
T. Luo, M. Pan, P. Tholoniat, A. Cidon, R. Geambasu, and M. Lécuyer, Privacy budget scheduling, in 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21), 2021, https://www.usenix.org/conference/osdi21/presentation/luo.
R. van Glabbeek, V. Gramoli, and P. Tholoniat, Feasibility of Cross-Chain Payment with Success Guarantees, in Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 20), 2020, doi: 10.1145/3350755.3400264. An extended version is available here.
Peer-reviewed workshop papers
P. Tholoniat and I. Chai, Bulletproof hosting: Ecosystem and registry-based approaches, in 2020 Student Symposium in Cybersecurity Policy, Tufts University, 2020.
P. Tholoniat and V. Gramoli, Formal verification of blockchain byzantine fault tolerance, in Handbook on Blockchain. Springer Optimization and Its Applications, 2022. doi: 10.1007/978-3-031-07535-3_12