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

AuthID
 P-00R-F7N
10
Author(s)
Campagna, M
·
Cohen, E
·
Gregoire, B
·
Strub, PY
·
Tasiran, S
Document Type
Proceedings Paper
Year published
2019
Published
in PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), ISSN: 15437221
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
Wos®
Scopus®
Dblp®/en/publications/view/802037
Crossref®19
Google Scholar®
Publication Identifiers
Dblp: conf/ccs/AlmeidaBBCCGPPS19
Scopus: 2-s2.0-85075915733
Wos: WOS:000509760700005
Source Identifiers
ISSN: 15437221
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service