publicações selecionadas teses Compositional analysis of vulnerabilities in microservice-based applications 2021