Accession Number:

AD1057351

Title:

YIP: A logical Foundation For Cybersecurity Built On Hyperproperties

Descriptive Note:

Technical Report,30 Sep 2014,29 Mar 2018

Corporate Author:

Cornell University Ithaca United States

Personal Author(s):

Report Date:

2018-07-13

Pagination or Media Count:

10.0

Abstract:

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.

Subject Categories:

  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE