Byron Cook

机构：Amazon (United States), Nature Conservation Agency of the Czech Republic, University College London, Seattle University

发表论文 146 篇 · 总被引 5620 次 · h-index 42

代表论文

• Formal Reasoning About the Security of Amazon Web Services (2018 · Lecture notes in computer science · 被引 105)
• Semantic-based Automated Reasoning for AWS Access Policies using SMT (2018 · 被引 101)
• Reachability Analysis for AWS-Based Networks (2019 · Lecture notes in computer science · 被引 61)
• Continuous Formal Verification of Amazon s2n (2018 · Lecture notes in computer science · 被引 55)
• Code-level model checking in the software development workflow (2020 · 被引 32)
• One-Click Formal Methods (2019 · IEEE Software · 被引 32)