Compositional Security Analysis for Binaries

二进制文件的组成安全分析

• 批准号: EP/K032038/1
• 负责人: Peter O'Hearn
• 金额: $ 36.93万
• 依托单位: University College London
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2013
• 资助国家: 英国
• 起止时间: 2013 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FK032038%2F1
• 关键词: Compositional; Security; Analysis; Binaries

Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.

GTR目前尚未用于所有资助研究的摘要。这通常是因为提交提案时不需要摘要，但可能是因为它包含了敏感信息，例如个人详细信息。

项目成果

Disproving termination with overapproximation

• DOI: 10.1109/fmcad.2014.6987597
• 发表时间: 2014-10
• 期刊: 2014 Formal Methods in Computer-Aided Design (FMCAD)
• 作者: B. Cook;Carsten Fuhs;K. Nimkar;P. O'Hearn

Model checking boot code from AWS data centers

• DOI: 10.1007/s10703-020-00344-2
• 发表时间: 2018-07
• 期刊: Formal Methods in System Design
• 影响因子: 0.8
• 作者: B. Cook;Kareem Khazem;D. Kroening;S. Tasiran;Michael Tautschnig;M. Tuttle

Formal Reasoning About the Security of Amazon Web Services

• DOI: 10.1007/978-3-319-96145-3_3
• 发表时间: 2018-01-01
• 期刊: COMPUTER AIDED VERIFICATION (CAV 2018), PT I
• 作者: Cook, Byron

Faster Temporal Reasoning for infinite-state programs

无限状态程序的更快时间推理

• 发表时间: 2014
• 期刊: Formal Methods of Computer Aided Design 2014
• 作者: Byron Cook

Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems

验证无限状态系统的日益富有表现力的时态逻辑

• 发表时间: 2017
• 期刊: Journal of the the ACM
• 作者: Byron Cook