Publicações

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(es)

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

Tipo de Documento

Proceedings Paper

Year published

2019

Publicado

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

Páginas: 63-78 (16)

Conference

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

Indexing