Publications

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

AuthID
P-00R-F7N

Author(s)

Almeida, JB

Barbosa, M

Barthe, G

Campagna, M

Cohen, E

Gregoire, B

Pereira, V

Portela, B

Strub, PY

Tasiran, S

Editor(s)

Cavallaro,L;Kinder,J;Wang,X;Katz,J

Document Type

Proceedings Paper

Year published

2019

Published

in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19) in ACM Conference on Computer and Communications Security, ISSN: 1543-7221

Pages: 63-78 (16)

Conference

Acm Sigsac Conference on Computer and Communications Security (Ccs), Date: NOV 11-15, 2019, Location: London, ENGLAND, Sponsors: Assoc Comp Machinery, ACM SIGSAC

Indexing