Mirage: A Security Metrics Driven Obfuscation Design Environment
Abstract
This program seeks to create Obfuscation Front-end Design Tools to leverage SAT/MILP solvers with SoA pruning and contracts techniques to drastically reduce computational complexity. Providing Trust while fabricating off-shore, developing common metrics for obfuscation, and design tools which treat security as a first class design parameter, is DARPA relevant and DARPA hard.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jul 29, 2019
- Source ID
- FA86501817817
Entities
People
- Matthew French
Organizations
- Air Force Research Laboratory
- Defense Advanced Research Projects Agency
- University of Southern California