Education
| Sep 2011 - Jun 2017 |
Stanford University, CA, USA
Doctor of Philosophy in Computer Science, GPA: 4.0/4.0
Phd Thesis “Studies in secure computation: post-quantum, attribute-based and multi-party” Scientific advisor - Prof. Dan Boneh |
| Sep 2009 – June 2011 |
University of the Russian Academy of Sciences, St.Petersburg, Russia
Master of Science with Honors, GPA 4.0/4.0
Specialization: Applied Mathematics and Physics MSc Thesis: “Optimal Deterministic Heuristic Algorithm for the Image of an Injective Function” Scientific advisor - Prof. Dmitriy Itsykson |
| Sep 2005- May 2009 |
St.Petersburg State Polytechnical University, Russia
Bachelor of Science with Honors, GPS 3.9/4.0
Specialization: Applied Mathematics and Computer Science BSc Thesis: “Enumeration of Permutation Binomials over Finite Fields” Scientific advisor - Prof. Nikolai Vasiliev |
| Sep 2001- May 2005 |
Physics and Mathematics Lyceum №30, St.Petersburg, Russia |
Professional Experience
| May 2022 - present |
Research Partner Andreesen-Horowitz, a16z crypto, USA
Cryptography for blockchains.
A Survey of Proof-of-Stake Blockchain Designs: youtube Long-range Attacks on Proof-of-Stake Blockchains: youtube PoS Blockchains: podcast with Tim Roughgarden and Sonal Chokshi On-chain trusted setup ceremony: blog post, github repo, technical report |
| Feb 2019 - May 2022 |
Research Scientist Novi/Facebook, USA
Crypto research for the public chain.
Long-range attacks on Proof-of-Stake consensus,
signatures (EdDSA and BLS), zero-knowledge proofs, proofs of solvency, hash functions, post-quantum security.
|
| Sep 2011 - Jun 2017 |
Research Assistant Stanford University, USA
Discovered “Fully Key-Homomorphic Encryption”, based on random lattices.
Developed a secure protocol for accountable warrants execution.
Collaborated with Google on building a new generation of quantum-secure ciphersuites.
Collaborated with Technicolor on building systems for privacy preserving data-mining.
|
| Summer 2016 |
Software Engineer Intern Google, Mountain View, USA
Developed a new key exchange algorithm for TLS based on random lattices.
Implemented in C and evaluated on emulated internet traffic.
Co-authored NIST proposal for post-quantum cryptography standard: frodokem.org.
|
| Jun 2012 - May 2013 |
Intern/Consultant Technicolor, Palo Alto, USA
Built a system for privacy preserving data-mining (ridge regression and matrix factorization) on massive datasets, containing >100,000,000 entries.
Implemented in Java and evaluated on real datasets.
7 US patents pending.
|
| Sep 2008 - Jun 2011 |
Software Engineer JetBrains/SwiftTeams, St.Petersburg, Russia
Built new functionality for development environments IntelliJ IDEA, Php/Web-Storm. Developed support for ColdFusion, Smarty; PHPUnit, CFUnit, MXUnit.
|
| Dec 2009 - Jun 2011 |
Research Assistant Laboratory of Mathematical Logic at PDMI RAS, Russia
Studied heuristic decision algorithms, built an optimal algorithm for injective functions.
|
| Nov 2006 - Feb 2008 |
Software Engineer Transas, St.Petersburg, Russia
Developed real-time computer graphics algorithms for marine and aviation training systems. Programmed pixel and vertex shaders. Designed and implemented algorithms for sea surface rendering via projective grid, underwater effects, stereo rendering, volumetric clouds. Worked with C++, OpenGL, Cg.
|
| Sep 2008 - Dec 2009 |
Research Assistant Laboratory of Representation Theory at PDMI RAS, Russia
Studied permutation binomials over finite fields and their applications to cryptography.
|