ASPIRE: Automatically Subsetting Protocol Implementations Reliably and Efficiently
Abstract
Prevalent software engineering practices have significantly increased the complexity and bloat of today~s software. This bloat has led to decreased performance and increased security vulnerabilities. The ASPIRE project seeks to develop a toolkit and methodology to effectively counter this trend.Bloat reduction poses significant challenges that ASPIRE endeavors to address. ASPIRE aims for a f"ully automated reduction process that can handle legacy source and binary code, and scale to large, complex programs that implement"" protocols. By protocols, we mean systems that allow multiple entities/modules to exchange information. It includes not only communi""cations protocols such as RFCs but also any kind of software that consists of independent modules (e.g., any library APIs). The resu""lting subsetted code should preserve properties of the original code, be maintainable and extensible, and provide improved performan"ce and security.We will demonstrate the end~to~end system on use~cases of Naval relevance using mobile applications running on mobile devices and communicating with other mobile applications over a network infrastructure. The target applications will be based on representative applications used by the Navy for large~scale information dissemination that require stringent security or latency g"uarantees. These applications, the underlying mobile operating systems, and software running on the network infrastructure will be s""ubsetted. We will demonstrate that these applications have a significantly reduced code size after subsetting, without any loss of p"erformance or correctness.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Dec 20, 2017
- Source ID
- N000141812021
Entities
People
- Mayur Naik
Organizations
- Office of Naval Research
- United States Navy
- University of Pennsylvania