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 diverse, including cryptography and cryptanalysis, logic and SAT-Solving, integer programming. Right now I am working on key recovery on symmetric cryptanalysis and on automated cryptanalysis.
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.