Toward Inline Verification of Client Behavior, Part 2
Abstract
The research proposed strives to finally complete the goal of achieving an inline defense using behavioral verification for target applications and protocols, and to expand those targets beyond those we have been considering so far. Our proposed research encompasses an array of innovations that will improve verification speed and the reliability with which verification completes quickly; that prunes protocol or application implementations to optimize verification costs; and that generalizes our techniques to constraining clients to desired subsets of permissible behavior.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Apr 06, 2021
- Source ID
- N000142112219
Entities
People
- Michael Reiter
Organizations
- Duke University
- Office of Naval Research
- United States Navy