TWC: Medium: Collaborative: Aspire: Leveraging Automated Synthesis Technologies for Enhancing System Security

Project: Research project

Project Details

StatusFinished
Effective start/end date8/1/147/31/18

Funding

  • NSF - National Science Foundation