About Me

PhD student at Max Planck Institute for Security and Privacy under the supervision of Prof. Dr. Peter Schwabe. Passionate about problem-solving and motivated by exploring new challenges.

Research Interests

Applied Cryptography;
Side-Channel Analysis;
Constant-Time Implementations;
Formal Verification of Cryptographic Software;
High-Assurance Cryptographic Engineering

Education

Aug 2026

Licenciatura en Ciencias de la Computación: GPA 9.19

Dec 2024

Analista en Computación: GPA 9.00

Talks

Mar 2026

Formosa Crypto: End-to-end formally verified crypto software at Real-World Crypto 2026.

News

Sep 2026

Started my PhD at Max Planck Institute for Security and Privacy in Bochum, Germany.

Aug 2026

Got my Computer Science Licenciatura degree with a GPA: 9.19/10.0.

Mar 2026

Attended and gave a talk at Real-World Crypto 2026 in Taipei, Taiwan.

Oct 2025

Started my internship at Signal Messenger as a Cryptographic Researcher.

Jul 2025

Attended Formosa Crypto retreat in Nancy, France.

Jul 2025

Attended Summer School on real-world crypto and privacy 2025 in Dubrovnik, Croatia.

Mar 2025

Attended Real-World PQC 2025 and Real-World Crypto 2025 in Sofia, Bulgaria.

Feb 2025

Attended Formosa Crypto retreat in Porto, Portugal.

Dec 2024

Started my internship at Max Planck Institute for Security and Privacy in Bochum, Germany as a Cryptographic Engineer.