Space/Time Analysis for Cybersecurity (STAC)

reportActive / Technical Report | Accesssion Number: AD1124037 | Open PDF

Abstract:

The Utah/Irvine teams approach to the STAC program was focused on statically analyzing JVM byte code. It was one of the only teams that took a pure static analysis approach. This approach uncovered limitations of the state of the art in static analysis, and the Utah/Irvine team developed multiple foundational techniques to address these limitations. However, more foundational work is required before static analysis can reach its potential.

Author(s):
Adams, Michael D.
Author Organization(s):
University of Utah
Funding Organization(s):
Publication Date:
2021 Mar 01
Pagination:
0

Security Markings

RECORD

Collection: TRECMS
Subject Terms
Modernization Areas:
Cyber
Communities of Interest:
Cyber
Descriptor(s):
computer programming, computer programs, computer science, language, compilers, computers, new york, object code, abstracts, programming languages, virtual machines, cybersecurity, flow, hierarchies, transient response analysis, vulnerability, contracts
Keyword(s):
Algorithmic complexity vulnerabilities, static analysis, dynamic analysis, vulnerability detection, side channel attacks
Subject Categories:
Mathematical and Computer Sciences
Update Date:
2021 Mar 25