Compositional Security Analysis for Binaries
Lead Research Organisation:
University College London
Department Name: Computer Science
Abstract
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.
Organisations
Publications
Cook B
(2013)
Reasoning about nondeterminism in programs
K. Athanasiou
(2018)
SideTrail: Verifying Time-Balancing of Cryptosystems
Byron Cook
(2017)
Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems
in Journal of the the ACM
Description | They have been used in industry. |
First Year Of Impact | 2017 |
Sector | Digital/Communication/Information Technologies (including Software) |
Impact Types | Societal |