I am a postdoc at the Computer Science Department of Yale University, hosted by Mariana Raykova.
Previously, I was a postdoc at Columbia University, hosted by Allison Bishop. In Summer 2015, I participated to the Cryptography program at the Simons Institute for the Theory of Computing. Before my appointment at Columbia, I was a postdoc at CUNY, hosted by Rosario Gennaro.
I completed my PhD in Computer Science at Aarhus University, under the supervision of Ivan Damgård (Aarhus University, Denmark) and Ronald Cramer (Leiden University / CWI Amsterdam, The Netherlands). From September 2012 until April 2013, I was a visiting student at the Courant Institute (New York University) to work with Yevgeniy Dodis and Oded Regev.
My main research area is cryptography, with a focus on: verifiable cloud computation, secure multiparty computation, secret sharing schemes. Broader interests in computer science and mathematics include applied probability, statistical estimation, algebraic geometry, numerical analysis, distributed algorithms.
- Private Data Aggregation on a Budget [paper] Morten Dahl and Valerio Pastro and Mathieu Poumeyrol PMPML NIPS Workshop, 2016.
- A Linear Approach to Garbling [video] Tal Malkin and Valerio Pastro and abhi shelat Manuscript.
- Essentially Optimal Robust Secret Sharing with Maximal Corruptions [paper] Allison Bishop and Valerio Pastro and Rajmohan Rajaraman and Daniel Wichs EUROCRYPT, 2016.
- Robust Secret Sharing Schemes Against Local Adversaries [paper] [slides] Allison Bishop and Valerio Pastro PKC, 2016.
- Efficiently Verifiable Computation on Encrypted Data [paper] Dario Fiore and Rosario Gennaro and Valerio Pastro CCS, 2014.
- Practical Covertly Secure MPC for Dishonest Majority - or: Breaking the SPDZ Limits [paper] Ivan Damgård and Marcel Keller and Enrique Larraia and Valerio Pastro and Peter Scholl and Nigel P. Smart ESORICS, 2013. Best paper award.
- Multiparty Computation from Somewhat Homomorphic Encryption [paper] [slides] [video] Ivan Damgård and Valerio Pastro and Nigel P. Smart and Sarah Zakarias CRYPTO, 2012.
- On the Amortized Complexity of Zero Knowledge Protocols for Multiplicative Relations [paper] [slides] Ronald Cramer and Ivan Damgård and Valerio Pastro ICITS, 2012.
- Construction of Rational Elliptic Surfaces of Mordell-Weil Rank Four Valerio Pastro Commentarii Mathematici Universitatis Sancti Pauli vol 61, no 1, 2012.
- Zero Knowledge Protocols and Multiparty Computation [PhD thesis].
- Construction of Rational Elliptic Surfaces of Mordell-Weil Rank Four [master thesis].
ActivitiesDuring the course of my studies I have been the main organizer of the following study groups:
- Security of Practical Protocols (Summer 2012).
- Crypto Studygroup on Lattices (Spring 2012).
- Crypto Studygroup on MPC and Leakage (Spring 2011).
TeachingIn Fall 2011, I gave a course on elliptic curves to the PhD students, PostDocs, and Professors in the cryptography and complexity research groups at Aarhus University. More information below:
- Elliptic Curves Minicourse (Fall 2011).
- Regularity and Automata (Spring 2012).
- Optimization (Spring 2012).
- Computability and Logic (Fall 2011).
- Regularity and Automata (Spring 2011).