publicações selecionadas documento A Machine-Checked Proof of Security for AWS Key Management Service 2019
