YIP: A logical Foundation For Cybersecurity Built On Hyperproperties
Technical Report,30 Sep 2014,29 Mar 2018
Cornell University Ithaca United States
Pagination or Media Count:
Our research in this grant contributed to the science of security. We developed a verification methodology for a specific hyperproperty, and we provided a powerful new security mechanism for mobile devices, as well as other GUI-based, security-sensitive systems. We also made progress on a verification methodology that works for all hyperproperties expressible in HyperLTL, and on establishing the trustworthiness of that methodology.
- Computer Systems Management and Standards