Daniel Miranda

I’m a Security Research Intern focused on software supply-chain security. I completed an M.Sc. in Informatics Engineering at Universidade do Minho, specializing in Cryptography and Computer Systems Security, and Formal Methods in Programming.