TY  - CONF
AU  - Nokes, Christopher
AU  - Amberiadis, Kostas
AU  - Kuhn, D. Richard
AU  - Reed, Edwards
AU  - Zuzak, Michael
C2  - 27th International Symposium on Quality Electronic Design (ISQED 2026), San Francisco, CA, US
DA  - 2026-05-28 04:05:00
DO  - https://doi.org/10.1109/ISQED69900.2026.11534784
LA  - en
PB  - 27th International Symposium on Quality Electronic Design (ISQED 2026), San Francisco, CA, US
PY  - 2026
TI  - Verifying Hardware Resource Isolation through Mandatory Access Control Policy
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=959997
ER  -