Secure and Trustworthy Cyberspace: Secure, Trustworthy, Assured and Resilient Semicondu... - 0 views
-
MiamiOH OARS on 03 Jan 14Through this solicitation -- a track within the NSF SaTC program -- NSF and the Semiconductor Research Corporation (SRC) are announcing a joint partnership in the area of Secure, Trustworthy, Assured and Resilient Semiconductors and Systems (SaTC: STARSS) focused on research on Design for Assurance. Specifically, NSF and SRC will support research on new strategies for architecture, specification and verification, especially at the stages of design in which formal methods are currently weak or absent, with the aim of decreasing the likelihood of unintended behavior or access, increasing resistance and resilience to tampering, and improving the ability to provide authentication throughout the supply chain and in the field.