Texas A&M Hackin’ Aggies’ Security Verification Strategies for the 2019 Hack@DAC Competition
| Autor: | Nicole Fern, Michael A. Quinn, Priya Joshi, Jonathan Valamehr, Saumil Gogri, Prashant Vurikiti |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
Functional verification
Computer science business.industry ComputerApplications_COMPUTERSINOTHERSYSTEMS 02 engineering and technology Encryption Computer security computer.software_genre 020202 computer hardware & architecture Competition (economics) Software bug Hardware and Architecture 0202 electrical engineering electronic engineering information engineering Resource management System on a chip InformationSystems_MISCELLANEOUS Electrical and Electronic Engineering business computer Software |
| Zdroj: | IEEE Design & Test. 38:30-38 |
| ISSN: | 2168-2364 2168-2356 |
| Popis: | This article details how well functional verification technique can catch security bugs in a resource-constrained setting. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|