Sou um especialista em cibersegurança e investigador de análise estática que cria ferramentas para encontrar bugs e vulnerabilidades reais em grandes bases de código em produção. O meu trabalho abrange frameworks de análise estática, compiladores e ferramentas de desenvolvimento, testes distribuídos e engenharia inversa aprofundada (alguns resultados mais antigos estão na minha conta de GitHub @ultrashot).
Isto não é apenas teoria. Ao longo de quase duas décadas, entreguei software para centenas de milhares de dispositivos, reforcei a segurança de routers comerciais e sistemas embebidos em produção, e liderei projetos grandes e de longa duração do início ao fim. Sediado no Porto, Portugal.
Áreas de especialização
- Análise estática: analisadores de nível industrial que revelam defeitos reais em grandes bases de código.
- Cibersegurança: encontrar e eliminar vulnerabilidades reais em sistemas em produção.
- Engenharia inversa: plataformas não documentadas, binários e protocolos.
- Ferramentas de desenvolvimento: compiladores, IDEs, depuradores e sistemas de compilação.
- Testes & QA: sistemas de teste distribuídos e pipelines de QA.
Factos
Entreguei centenas de ferramentas e sistemas que correm em produção em centenas de milhares de dispositivos.
Consigo gerir projetos muito grandes com muitos colaboradores.
Resolvo tarefas difíceis, complexas e de longo prazo que outros não conseguem, mantendo o foco no objetivo final apesar das dificuldades.
Investigo e desenvolvo analisadores estáticos e ferramentas de segurança para problemas industriais reais.
Competências
- Desenvolvimento de aplicações para várias plataformas.
- Programação de sistemas.
- Engenharia inversa.
Interesses de investigação
- Melhorar a análise estática.
- Ferramentas de desenvolvimento (IDEs, compiladores, depuradores, ...).
- Computação de alto desempenho, redes e virtualização.