Almeida, J. B., Barbosa, M., Barthe, G., Campagna, M., Cohen, E., Gregoire, B., . . . Tasiran, S. (2019). A machine-checked proof of security for AWS key management service.
Chicago Style (17th ed.) CitationAlmeida, José Bacelar, et al. A Machine-checked Proof of Security for AWS Key Management Service. 2019.
MLA (8th ed.) CitationAlmeida, José Bacelar, et al. A Machine-checked Proof of Security for AWS Key Management Service. 2019.
Warning: These citations may not always be 100% accurate.