Automated Protocol Specialization and Diversification for Individualized Defense
Abstract
Abstract The evolution of protocols invariably leads to greater complexity and thus largerattack surface. We propose a first-principles approach to addressing this problem by building specializedindividualized defenses. Our methodology for realizing such defenses comprises of thefollowing steps: (i) automated specification mining from RFCs, protocol analyzers and protocoltraces; (ii) specification-implementation binding using dependency analysis; (iii) protocol debloatingusing program slicing and (iv) protocol alteration to generate protocol dialects. Our teamincludes PIs from four institutions with diverse expertise in program analysis, formal methods, systemsecurity and network security. This proposal is a continuation of Grant #N00014-18-1-2660
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jun 09, 2021
- Source ID
- N000142112492
Entities
People
- Somesh Jha
Organizations
- Office of Naval Research
- United States Navy
- University of Wisconsin System