FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Formal reasoning about the security of AWS

Author: Byron Cook

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Formal reasoning about the security of AWS
Authors:Byron Cook
Proceedings:CAV All Papers
Editors: Georg Weissenbacher, Hana Chockler and Igor Konnov
Keywords:
Abstract:
Pages:9
Paper: