Embedded Software Assurance for Configuring Secure Hardware. - J. Ryan Kenny; Craig Robinson (IEEE Secur. Priv., 2010)