A Machine-Checked Proof of Security for AWS Key Management Service-Reference-Cited by-同舟云学术

A Machine-Checked Proof of Security for AWS Key Management Service

Published:2019-11-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Almeida José Bacelar¹,Barbosa Manuel²,Barthe Gilles³,Campagna Matthew⁴,Cohen Ernie⁵,Gregoire Benjamin⁶,Pereira Vitor²,Portela Bernardo²,Strub Pierre-Yves⁷,Tasiran Serdar⁵

Affiliation:

1. University of Minho and INESC TEC, Braga, Portugal

2. University of Porto (FCUP) and INESC TEC, Porto, Portugal

3. IMDEA Software Institute and MPI-SP, Madrid, Spain

4. Amazon Web Services, Seattle, WA, USA

5. Amazon Web Services, New York, NY, USA

6. Inria, Sophia-Antipolis, France

7. École Polytechnique, Palaiseau, France

Funder

Portuguese Foundation for Science and Technology (FCT)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3319535.3354228

Reference22 articles.

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Robust image classification system via cloud computing, aligned multimodal embeddings, centroids and neighbours;Machine Learning with Applications;2024-09

2. Verifying Indistinguishability of Privacy-Preserving Protocols;Proceedings of the ACM on Programming Languages;2023-10-16

3. SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq;ACM Transactions on Programming Languages and Systems;2023-07-20

4. Mechanized Proofs of Adversarial Complexity and Application to Universal Composability;ACM Transactions on Privacy and Security;2023-07-19

5. Research and Development of Cyber Cyberspace Resilience Technology;2022 International Conference on Information Technology, Communication Ecosystem and Management (ITCEM);2022-12