AUDITR: Securing Space/Time Defenses in Java Bytecode

Abstract

The University of Colorado Boulder and its teammates at the University of Texas at Austin and Kestrel Technology submit this final report on our contributions to the Space/Time Analysis for Cybersecurity (STAC) project. We created a breakthrough system called AUDITR that combines static and dynamic analysis of Java bytecode and automatically uncovers intricate security vulnerabilities related to space and time complexity that can be exploited by attackers to create denial of service and side channel attacks.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 08, 2020
Accession Number
AD1111078

Entities

People

  • Ashutosh Trivedi
  • Bor-yuh E. Chang
  • Henny Sipma
  • Işıl Dillig
  • John R. Black
  • Marijn Heule
  • Pavol Černý
  • Sriram Sankaranarayanan

Organizations

  • University of Colorado Boulder

Tags

Communities of Interest

  • C4I
  • Cyber
  • Energy and Power Technologies
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Coding
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Electronic Mail
  • Engineering
  • Governments
  • Information Science
  • Information Systems
  • Machine Learning
  • Neural Networks
  • Numerical Analysis
  • Object Code
  • Online Communications
  • Operating Systems
  • Social Media

Fields of Study

  • Computer science

Readers

  • Academic Conference Management
  • Cybersecurity.

Technology Areas

  • Cyber
  • Space