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

Tipo de Documento

Proceedings Paper

Year published

2019

Publicado

in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), ISSN: 15437221

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

Wos^®

Scopus^®

Dblp^®/pt/publications/view/802037

Crossref^®19

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/3319535.3354228

DBLP: conf/ccs/AlmeidaBBCCGPPS19

SCOPUS: 2-s2.0-85075915733

Wos: WOS:000509760700005

Source Identifiers

ISSN: 15437221

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

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

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

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

Links Úteis

Ajuda