O objetivo da presente linha de pesquisa é avançar na compreensão a respeito das técnicas de análise de software – incluindo análise de conformidade e vulnerabilidades – e proteção de software – incluindo técnicas como ofuscação, incorruptibilidade e marcas d’água.
Projetos em andamento