Maxim Menshikov
Especialista em cibersegurança, investigador de análise estática, fundador da Interpretica
Crio 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.
A entregar software desde 2006, de firmware a analisadores.
Catalogados neste site, comerciais e open source.
Trabalho revisto por pares sobre análise estática e ferramentas.
A correr software que entreguei, em produção.
Especialização
O que faço
Analisadores de nível industrial que revelam defeitos reais em grandes bases de código.
2 CibersegurançaEncontrar e eliminar vulnerabilidades reais em sistemas em produção.
3 Engenharia inversaPlataformas não documentadas, binários e protocolos.
4 Ferramentas de desenvolvimentoCompiladores, IDEs, depuradores e sistemas de compilação.
5 Testes & QASistemas de teste distribuídos e pipelines de QA.
Interpretica
Fundador
Fundei a Interpretica para levar testes e análise de software aprofundados a equipas de engenharia reais. Ajudamos empresas que trabalham com sistemas de software complexos a descobrir vulnerabilidades, prevenir falhas e melhorar a fiabilidade através de análise estática, testes de cibersegurança e experiência em engenharia.
Como posso ajudar a si
Do zero à manutenção
Descreve o problema, as restrições e o que significa "pronto". Eu faço as perguntas desconfortáveis cedo, enquanto ainda são baratas.
Um plano concreto: âmbito, marcos, riscos e o que deixamos deliberadamente de fora. Estimativas pelas quais me pode responsabilizar.
Qualquer método, qualquer complexidade: firmware e drivers, compiladores e analisadores, pilhas de rede, backends na cloud. Do zero ou dentro do seu código existente.
Trago as ferramentas: o Test Environment da ts-factory para testes determinísticos com vários dispositivos, análise estática baseada em Midair e Visao, e suítes de teste escritas para o seu sistema. Evidência, não um selo verde.
Builds reprodutíveis, contentores, CI, lançamento faseado para dispositivos e servidores reais, com um caminho de rollback já testado.
Fico com o projeto: monitorização, correções, atualizações e a próxima ronda de funcionalidades. O trabalho de longo prazo é onde dou o meu melhor.
Factos
Percurso
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
Stack e investigação
- Análise estática e ferramentas de segurança
- Programação de sistemas (C/C++, Rust)
- Engenharia inversa
- Software embebido
- Tecnologias de compiladores
- Melhorar a análise estática
- Ferramentas de desenvolvimento (IDEs, compiladores, depuradores, …)
- Computação de alto desempenho, redes e virtualização
Publicações
Recentes
- Changing landscape
- A library for parsing printf format
- CMake to Microchip Studio project file generation
- Cognitive load reduction as a debugging aid