Formal Reasoning About the Security of Amazon Web Services.

Byron Cook

Browse the full CAV paper archive.