Currently my main research direction is provable security of asymmetric cryptography in the quantum random oracle model, though my interests span much wider.
Ever since my early days as a physics student I have had a deep fascination with, and love for, quantum physics,and so I am naturally drawn towards any research question that involves quantum theory, both so that I may gain a deeper understanding of our nature, and to explore what we may *do* with it. Towards the latter, I have lately become interested in quantum protocols and so-called "classically impossible primitives" that go beyond quantum key distribution, such as verifiable quantum computation, one-time signature tokens, and quantum lightning.
In the other direction, I am also interested in the study of cryptography *for* quantum computation. The example of the Even-Mansour cipher shows that security needs to be re-evaluated in a fully quantum setting, where both attackers and clients are quantum and connected via quantum channels. Security notions such as qCCA provides one such upgrade, though how to upgrade notions of indistinguishability to something like qIND-qCCA has turned out to be more nuanced. I would be interested in exploring how these notions compare to each other, and what level of security CCA-transformations like the Fujisaki-Okamoto transformation can achieve in this setting. (Such questions are already being explored by others, but much remains to be answered!)
Some security goals, like that of Non-Committing Encryption, has been shown to only be achievable in programmable ideal models like the random oracle model. How do these fare in a post-quantum setting, where random oracles become quantum? And what about the quantum ideal cipher/ideal permutation model, assuming a consistent definition thereof can even be found?
I find these questions, and more, highly stimulating to work on. Still, my real heart remains in theoretical physics, and quantum field theory in particular. I am deeply fascinated with the connections between AdS/CFT and complexity, and would love an opportunity to come to understand them better.
Finally, I keep it no secret among colleagues and friends that I am in the game of quantum computing because *I want to one day use quantum computers myself*. This is because I believe that they will help us understand quantum field theory as a *general mathematical framework* in a way that is simply not possible today, as they will allow us to run real-time simulations of toy-model QFTs, exhibiting features like containment, as well as speculative theories like Super Yang-Mills, providing a platform for experimental input that we could never get from nature herself. Inspired by the field of Amplitudology, it is my belief that the way out of the current rut that theoretical physics finds itself in lies with taking a step back from the race towards quantum gravity, and rather work towards a better understanding of quantum field theories as general mathematical objects. Toy models---and the ability to simulate them---will be invaluable on this journey.
Let me end by noting that my interest in quantum physics extends beyond my professional life too, as a main pasttime of mine has become the development quantum games---meaning games that not merely *illustrate* quantum concepts (like Schrödinger's Cat and the like)---but whose rulesets are derived directly from quantum theory. The hope, of course, being that players, through direct manipulation of quantum amplitudes, may gain an intuition for the fundamental nature of our universe that simply staring at equations could never grant.