With a rich academic journey at Instituto Superior Técnico, during my PhD I focused on Post-Quantum cryptographic algorithms (namely, FIPS-202, -203, and -204) in secure enclaves as well as micro-architectural side-channels (e.g., Spectre- and Meltdown-type attacks). Serving as a Security Architect at Semidynamics Technology Services, my core competencies lie in formal verification, ASIC, and CPU design, honed through both practical experience and extensive research.My recent work centers on designing secure systems resilient to sophisticated cyber threats, like Meltdown and Spectre, by innovating around potential covert channels in cache hierarchies and the core. Our team integrates advanced post-quantum algorithms into hardware, contributing to the future of secure computing. My approach is collaborative, informed by diverse perspectives, and aligned with our organization's dedication to staying at the forefront of technology and security.