I am Ricardo Rodriguez Reveco, since Jan 2024 I am a PhD student in the Symmetric Cryptography group of Ruhr Universität Bochum, where I am supervised by Gregor Leander. Before that, I was a graduate student at PUC-Chile and Millennium Institute for Foundational Research on Data. I also worked as a part-time lecturer at Universidad Adolfo Ibañez and PUC.

My research interests are broad, mainly about cryptanalysis and the use of automated tools for it (SAT/SMT/MILP). Also I have a sweet spot for underanalyzed assumptions in cryptanalysis and fixed-key vs average key behaviours. Right now I am working on key recovery on differential cryptanalysis and the wrong key randomization hypothesis.

I studied mathematics as an undergraduate at Pontificia Universidad Católica de Chile, and did a master degree in computer science supervised by Prof. Marcelo Arenas. With Marcelo we worked on studying FPRAS algorithms for counting problems on the #P complexity class. Previously, we worked on a complexity analysis of a formalization of Schelling’s model of segregation and on combinatorial problems related to blockchains.