Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- May 01, 2021
- Source ID
- 10.1109/spw53761.2021.00024
Entities
People
- David S. Hardin
- Konrad L. Slind
Organizations
- Defense Advanced Research Projects Agency